Sciweavers

14403 search results - page 2663 / 2881
» Dynamical Systems Trees
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
MVA
2008
125views Computer Vision» more  MVA 2008»
15 years 6 months ago
Pearson-based mixture model for color object tracking
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
William Ketchantang, Stéphane Derrode, Lion...
KI
2006
Springer
15 years 6 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
EWC
2007
102views more  EWC 2007»
15 years 6 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...
Vineet R. Kamat, Julio C. Martínez
MJ
2006
67views more  MJ 2006»
15 years 6 months ago
Review of CMOS image sensors
The role of CMOS Image Sensors since their birth around the 1960s, has been changing a lot. Unlike the past, current CMOS Image Sensors are becoming competitive with regard to Cha...
M. Bigas, Enric Cabruja, Josep Forest, Joaquim Sal...
« Prev « First page 2663 / 2881 Last » Next »