Sciweavers

1631 search results - page 132 / 327
» Observing Functional Logic Computations
Sort
View
CODES
2007
IEEE
15 years 7 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
DLOG
2010
15 years 1 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
ECCV
2000
Springer
16 years 5 months ago
A Probabilistic Background Model for Tracking
A new probabilistic background model based on a Hidden Markov Model is presented. The hidden states of the model enable discrimination between foreground, background and shadow. Th...
Jens Rittscher, Jien Kato, Sébastien Joga, ...
CSIE
2009
IEEE
15 years 10 months ago
Discriminative Random Fields for Behavior Modeling
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
Tianyu Huang, Chongde Shi, Fengxia Li
ACMDIS
2000
ACM
15 years 8 months ago
The Social Life of Engineering Authorizations
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
William A. Stubblefield, Karen S. Rogers