Sciweavers

1968 search results - page 195 / 394
» The Complexity of Valued Constraint Models
Sort
View
SOFSEM
2007
Springer
15 years 10 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
137
Voted
ICIP
2008
IEEE
15 years 11 months ago
An adaptive background model initialization algorithm with objects moving at different depths
Background subtraction is an essential element in most object tracking and video surveillance systems. The success of this low-level processing step is highly dependent on the qua...
Chia-Chih Chen, J. K. Aggarwal
GIS
2009
ACM
15 years 9 months ago
A multidimensional model representing continuous fields in spatial data warehouses
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
Alejandro A. Vaisman, Esteban Zimányi
SIGPRO
2008
106views more  SIGPRO 2008»
15 years 4 months ago
Propagator-based methods for recursive subspace model identification
The problem of the online identification of multi-input multi-output (MIMO) state-space models in the framework of discrete-time subspace methods is considered in this paper. Seve...
Guillaume Mercère, Laurent Bako, Sté...
ANTSW
2010
Springer
15 years 2 months ago
Positional Communication and Private Information in Honeybee Foraging Models
Honeybees coordinate foraging efforts across vast areas through a complex system of advertising and recruitment. One mechanism for coordination is the waggle dance, a movement patt...
Peter Bailis, Radhika Nagpal, Justin Werfel