488 search results - page 77 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
114
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
133
click to vote
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
133
click to vote
DEBU
2008
15 years 3 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
137
Voted
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
160
click to vote
TOG
2012
13 years 5 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...