檢索結果 - interactive ((constraint processing) OR (constraint preserving)) programmed control https

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

出版 2014

書本目錄: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
獲取全文

電子電子書

2

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

出版 2006

書本目錄: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
獲取全文

電子電子書

3

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

出版 2005

書本目錄: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
獲取全文

電子電子書

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

書本目錄: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
獲取全文

電子電子書

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版 2010

書本目錄: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
獲取全文

電子電子書

6

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

出版 2008

書本目錄: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
獲取全文

電子電子書

7

Informatics in Control, Automation and Robotics I

出版 2006

書本目錄: “... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...”
獲取全文

電子電子書

8

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

出版 2006

書本目錄: “... Service over P2P Networks -- Interacting Activity Recognition Using Hierarchical Durational-State Dynamic...”
獲取全文

電子電子書

9

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...

出版 2005

書本目錄: “... Discontinuity Preserving for Free Viewpoint Video System -- Haptic Interaction with Depth Video Media -- A...”
獲取全文

電子電子書

10

RoboCup 2004: Robot Soccer World Cup VIII

出版 2005

書本目錄: “... Opponent Actions by Observation -- A Model-Based Approach to Robot Joint Control -- Evolutionary Gait...”
獲取全文

電子電子書

11

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings /

出版 2008

書本目錄: “... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”
獲取全文

電子電子書

12

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

出版 2014

書本目錄: “... in Oscillating Control Loops -- Feed Point Optimization of Fractal Antenna using GRNN-GA Hybrid Algorithm...”
獲取全文

電子電子書

13

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

出版 2010

書本目錄: “... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...”
獲取全文

電子電子書

14

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

出版 2005

書本目錄: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
獲取全文

電子電子書

15

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings /

出版 2010

書本目錄: “... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”
獲取全文

電子電子書

16

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /

出版 2010

書本目錄: “... Using Path Similarity -- A Statistical-Structural Constraint Model for Cartoon Face Wrinkle...”
獲取全文

電子電子書

17

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Paper...

出版 2010

書本目錄: “... and Applications (GRAPP) -- Fast Spatially Controllable Multi-dimensional Exemplar-Based Texture Synthesis...”
獲取全文

電子電子書

18

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

出版 2005

書本目錄: “... Processes in Process Algebra -- Decomposition and Complexity of Hereditary History Preserving Bisimulation...”
獲取全文

電子電子書

19

Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part 1 /

出版 2005

書本目錄: “... in Complex Scenes Using Geometric Constraints -- Image and Video Processing -- A Real-Time Gabor Primal...”
獲取全文

電子電子書

20

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from , July 18-22, 2005, Turin, Italy /

出版 2006

書本目錄: “... for Advection-Diffusion Processes -- A New Low Rank Quasi-Newton Update Scheme for Nonlinear Programming...”
獲取全文

電子電子書

縮小搜索