1
Veröffentlicht 2008
Inhaltsangabe: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2015
Inhaltsangabe: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ...-Quality Non-planar Projections Using Real-Time Piecewise Perspective Projections -- An Interactive Fluid...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ... of Humans and Lower Animals: From Biomechanics to Intelligence -- Full Papers -- Prediction of Aircraft...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ... Interpretation as Grammar Rule Constraints -- Towards a Cascade of Morpho-syntactic Tools for Arabic Natural...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... of Interactions Between Reared Strains and Wild Populations of Marine and Anadromous Fish and Invertebrate Species...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2010
Inhaltsangabe: ... of Abdominal Organs Incorporating Prior Knowledge in Small Animal CT -- Method of Interest Points...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... Perceptions and Actions in Diagrammatic Reasoning -- Toward a Physics of Equations -- Interacting...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2007
Inhaltsangabe: ... of Animation Movies in the Video Indexing Task Context -- Retrieval of Document Images Based on Page Layout...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ... of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2007
Inhaltsangabe: ...: Animation and Simulation -- Motion Map Generation for Maintaining the Temporal Coherence of Brush Strokes...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... Character Animation -- Oversimplified Euler Operators for a Non-oriented, Non-manifold B-Rep Data Structure...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2005
Inhaltsangabe: ... Operation -- Neural Connectivity and Dynamical Regimes of Neural Activity in a Network of Interactive...
Volltext
Elektronisch E-Book