1
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2014
Tabl Cynhwysion: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2012
Tabl Cynhwysion: ... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2007
Tabl Cynhwysion: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2007
Tabl Cynhwysion: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2014
Tabl Cynhwysion: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2005
Tabl Cynhwysion: ... of Connectivity -- Kernel Biased Discriminant Analysis Using Histogram Intersection Kernel for Content-Based Image...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
Cael y testun llawn
Electronig eLyfr