Sciweavers

1065 search results - page 136 / 213
» Towards a Meaning of LIFE
Sort
View
TCS
1998
14 years 10 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
ICWE
2010
Springer
14 years 9 months ago
Mashing Up Your Web-Enabled Home
Many efforts are currently going towards networking smart things from the physical world (e.g. RFID, wireless sensor and actuator networks, embedded devices) on a larger scale. Rat...
Dominique Guinard
CORR
2010
Springer
157views Education» more  CORR 2010»
14 years 8 months ago
Constraint-Guided Workflow Composition Based on the EDAM Ontology
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Ste...
IJOCI
2010
163views more  IJOCI 2010»
14 years 8 months ago
An Experimental Performance Comparison for Indexing Mobile Objects on the Plane
We present a time-efficient approach to index objects moving on the plane to efficiently answer range queries about their future positions. Each object is moving with non small ve...
Spyros Sioutas, George Papaloukopoulos, Kostas Tsi...
CVPR
2012
IEEE
13 years 1 months ago
Joint 2D-3D temporally consistent semantic segmentation of street scenes
In this paper we propose a novel Conditional Random Field (CRF) formulation for the semantic scene labeling problem which is able to enforce temporal consistency between consecuti...
Georgios Floros, Bastian Leibe