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 2008
Inhaltsangabe: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... Interpretation as Grammar Rule Constraints -- Towards a Cascade of Morpho-syntactic Tools for Arabic Natural...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... of Humans and Lower Animals: From Biomechanics to Intelligence -- Full Papers -- Prediction of Aircraft...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ... – Analyzing Multi-modal Design Transcripts Along Verbal and Diagrammatic Data -- How Diagram Interaction...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ... of Abdominal Organs Incorporating Prior Knowledge in Small Animal CT -- Method of Interest Points...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2010
Inhaltsangabe: ... for Data Warehouses -- A Ubiquitous Intelligent Tutoring System for Aiding Electronic Learning -- Towards a...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2013
Inhaltsangabe: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... -- Papers -- Navidgator - Similarity Based Browsing for Image and Video Databases -- Automating Interactive...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... Character Animation -- Oversimplified Euler Operators for a Non-oriented, Non-manifold B-Rep Data Structure...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... Data -- Stereo Vision System with the Grouping Process of Multiple Reaction-Diffusion Models...
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 2007
Inhaltsangabe: ... Constraints -- Ellipse Detection in Digital Image Data Using Geometric Features -- A Comparison of Wavelet...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2005
Inhaltsangabe: ... Operation -- Neural Connectivity and Dynamical Regimes of Neural Activity in a Network of Interactive...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2006
Inhaltsangabe: ... for Visual Tracking -- Interactive Knowledge Integration in 3D Cloth Animation with Intelligent Learning...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2005
Inhaltsangabe: ... Generation and Distribution for Live Programs on Broadcasting-Telecommunication Linkage Services -- Data...
Volltext
Elektronisch E-Book