4693 search results - page 692 / 939 » Verifying Hybrid Systems |
192
click to vote
CIVR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...
145
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
174
Voted
HCW
1999
IEEE
15 years 10 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
154
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
Caching in the Placeless Documents system poses new challenges because users can attach active properties to documents. Active properties can modify the document's content as...
179
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...