799 search results - page 15 / 160 » Synthesis for Probabilistic Environments |
127
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
120
click to vote
EUROSSC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
ISOLA
2010
Springer
15 years 11 days ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
149
Voted
EUROSSC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
136
Voted
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...