488 search results - page 81 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
129
click to vote
JAIR
2006
15 years 3 months ago
2006
In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either e...
128
click to vote
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
138
click to vote
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
151
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositiona...
105
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...