Sciweavers

3047 search results - page 108 / 610
» A Temporal Consensus Model
Sort
View
CVPR
2005
IEEE
15 years 12 months ago
Modeling Dynamic Scenes with Active Appearance
In this work we propose a model for video scenes that contain temporal variability in shape and appearance. We propose a conditionally linear model akin to a dynamic extension of ...
Gianfranco Doretto
MEMOCODE
2010
IEEE
14 years 7 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
WSC
2004
14 years 11 months ago
Exploiting Temporal Uncertainty in Process-Oriented Distributed Simulations
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...
Margaret L. Loper, Richard M. Fujimoto
NPL
2000
146views more  NPL 2000»
14 years 9 months ago
Competitive and Temporal Inhibition Structures with Spiking Neurons
The paper describes the implementation of competitive neural structures based on a spiking neural model that includes multiplicative or shunting synapses enabling non-saturated sta...
Eduardo Ros Vidal, Francisco J. Pelayo, P. Martin-...
FAC
2008
114views more  FAC 2008»
14 years 10 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe