358 search results - page 39 / 72 » A Verification Methodology for Model Fields |
OOPSLA
2000
Springer
15 years 3 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
BIB
2010
14 years 12 months ago
2010
The inherent complexity of biomedical systems is well recognized; they are multi-scale, multi-science systems, bridging a wide range of temporal and spatial scales. This article r...
108
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
110
Voted
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...