Søgeresultater - interactive computer programs from constraint graphs

1

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

Udgivet 2006

Indholdsfortegnelse: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Få fuldtekst

Electronisk eBog

2

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...”
Få fuldtekst

Electronisk eBog

3

Graph Drawing 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers /

Udgivet 2006

Indholdsfortegnelse: “...Papers -- Crossings and Permutations -- Morphing Planar Graphs While Preserving Edge Directions...”
Få fuldtekst

Electronisk eBog

4

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Få fuldtekst

Electronisk eBog

5

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Udgivet 2014

Indholdsfortegnelse: “... Planar Graph Drawings Optimally -- Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs...”
Få fuldtekst

Electronisk eBog

6

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs -- Labeling Schemes for Vertex Connectivity...”
Få fuldtekst

Electronisk eBog

7

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
Få fuldtekst

Electronisk eBog

8

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”
Få fuldtekst

Electronisk eBog

9

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Udgivet 2006

Indholdsfortegnelse: “... Object in the Stack of Objects -- Recognition of 3D Object Using Attributed Relation Graph...”
Få fuldtekst

Electronisk eBog

10

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Udgivet 2006

Indholdsfortegnelse: “... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”
Få fuldtekst

Electronisk eBog

11

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... Learning -- Face Recognition in Videos Using Adaptive Graph Appearance Models -- ST: Computational...”
Få fuldtekst

Electronisk eBog

12

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III /

Udgivet 2010

Indholdsfortegnelse: “... Reconstruction Using Vertical Constraints from a Photograph -- A Framework for Visual and Haptic Collaboration...”
Få fuldtekst

Electronisk eBog

13

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programs -- Guided Test Generation from CSP Models -- Relaxing Goodness Is Still Good -- Benchmarking Model...”
Få fuldtekst

Electronisk eBog

14

Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006...

Udgivet 2007

Indholdsfortegnelse: “... Retrieval by Components -- Terrain Synthesis By-Example -- Collaboration on Scene Graph Based 3D Data -- II...”
Få fuldtekst

Electronisk eBog

15

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “...Exploiting Intensity Inhomogeneity to Extract Textured Objects from Natural Scenes -- Exploiting...”
Få fuldtekst

Electronisk eBog

17

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
Få fuldtekst

Electronisk eBog

18

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Reconstruction Using Pedestrians -- Robust Radial Distortion from a Single Image -- Projective Reconstruction...”
Få fuldtekst

Electronisk eBog

19

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Få fuldtekst

Electronisk eBog

20

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning