Sciweavers

393 search results - page 30 / 79
» Dynamic Temporal Interpretation Contexts for Temporal Abstra...
Sort
View
EOR
2002
85views more  EOR 2002»
13 years 8 months ago
Reasoning with contextual graphs
Decision trees allow the modeling of event-dependent reasoning, but do not consider the dynamics of contextual changes in reasoning. In the framework of the SART project, which ai...
Patrick Brézillon, Laurent Pasquier, Jean-C...
NECO
2007
68views more  NECO 2007»
13 years 8 months ago
Single Neuron Computation: From Dynamical System to Feature Detector
ll Text][Abstract] , October 18, 2006; 26 (42): 10826-10846.J. Neurosci. B. R. Conway and M. S. Livingstone Spatial and temporal properties of cone signals in alert macaque primary...
Sungho Hong, Blaise Agüera y Arcas, Adrienne ...
KI
2007
Springer
14 years 2 months ago
Division of Work During Behaviour Recognition - The SCENIC Approach
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
Kasim Terzic, Lothar Hotz, Bernd Neumann
AMAST
2006
Springer
14 years 14 days ago
Fork Algebras as a Sufficiently Rich Universal Institution
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
Carlos López Pombo, Marcelo F. Frias
IANDC
2011
127views more  IANDC 2011»
13 years 3 months ago
On the consistency, expressiveness, and precision of partial modeling formalisms
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Ou Wei, Arie Gurfinkel, Marsha Chechik