1528 search results - page 174 / 306 » Performance Assertion Checking |
122
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A system is described that tracks moving objects in a video dataset so as to extract a representation of the objects' 3D trajectories. The system then finds hierarchical clus...
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
We propose a new image analysis method to segment and track cells in a growing colony. By using an intermediate low-dimension image representation yielded by a reliable over-segme...
146
Voted
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
99
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
— Modern sub-micron VLSI designs include huge power grids that are required to distribute large amounts of current, at increasingly lower voltages. The resulting voltage drop on ...
121
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...