Sciweavers

393 search results - page 30 / 79
» Dynamic Temporal Interpretation Contexts for Temporal Abstra...
Sort
View
EOR
2002
85views more  EOR 2002»
14 years 9 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»
14 years 9 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 ...
63
Voted
KI
2007
Springer
15 years 3 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
15 years 1 months 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»
14 years 4 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