Arama Sonuçları - interaction constraints processing 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 /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Tam Metin Erişim

Elektronik Ekitap

7

Informatics in Control, Automation and Robotics I

Baskı/Yayın Bilgisi 2006

İçindekiler: “... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Service over P2P Networks -- Interacting Activity Recognition Using Hierarchical Durational-State Dynamic...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Object Placement in Video for Augmented Reality -- Realtime Control for Motion Creation of 3D Avatars...”
Tam Metin Erişim

Elektronik Ekitap

10

RoboCup 2004: Robot Soccer World Cup VIII

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Opponent Actions by Observation -- A Model-Based Approach to Robot Joint Control -- Evolutionary Gait...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Oscillating Control Loops -- Feed Point Optimization of Fractal Antenna using GRNN-GA Hybrid Algorithm...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Applications (GRAPP) -- Fast Spatially Controllable Multi-dimensional Exemplar-Based Texture Synthesis...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Using Path Similarity -- A Statistical-Structural Constraint Model for Cartoon Face Wrinkle...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Complex Scenes Using Geometric Constraints -- Image and Video Processing -- A Real-Time Gabor Primal...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Advection-Diffusion Processes -- A New Low Rank Quasi-Newton Update Scheme for Nonlinear Programming...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt