Sciweavers

7988 search results - page 431 / 1598
» A Useful Undecidable Theory
Sort
View
179
Voted
ERLANG
2004
ACM
16 years 9 days ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
SWS
2004
ACM
16 years 8 days ago
Creating non-decomposable stream bundles in multimedia web services using uSMIL
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
Naren Kodali, Csilla Farkas, Duminda Wijesekera
157
Voted
ECCV
2004
Springer
16 years 7 days ago
Multi-model Component-Based Tracking Using Robust Information Fusion
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...
Bogdan Georgescu, Dorin Comaniciu, Tony X. Han, Xi...
185
Voted
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
172
Voted
PODS
2000
ACM
102views Database» more  PODS 2000»
15 years 11 months ago
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
Floris Geerts, Bart Kuijpers