7288 search results - page 1272 / 1458 » On process rate semantics |
183
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
226
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
159
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
159
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
165
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an approach to visual object-class recognition and segmentation based on a pipeline that combines multiple, holistic figure-ground hypotheses generated in a bottom-up,...