3432 search results - page 531 / 687 » Model Development in the UML-based Specification Environment... |
196
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
166
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites;...
167
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: As the use of microarray technology becomes more prevalent it is not unusual to find several laboratories employing the same microarray technology to identify genes re...
187
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper we present an adaptive but robust object
detector for static cameras by introducing classifier grids.
Instead of using a sliding window for object detection we
pro...
180
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Wireless sensor networks typically consist of a large number of sensor nodes embedded in a physical space. Such sensors are low-power devices that are primarily used for monitoring...