1179 search results - page 106 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
163
click to vote
DT
2006
15 years 4 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
130
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
: TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of incrementally evaluated SQL queries for analyzing a wide spectrum of data streams. As ap...
125
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: To better understand the response of urinary epithelial (urothelial) cells to Enterococcus faecalis, a uropathogen that exhibits resistance to multiple antibiotics, a ...
151
Voted
GW
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
134
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...