631 search results - page 26 / 127 » Deriving Specifications from Requirements: An Example |
EMNLP
2009
13 years 6 months ago
2009
Textual entailment recognition plays a fundamental role in tasks that require indepth natural language understanding. In order to use entailment recognition technologies for real-...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper, we propose a face reconstruction technique that produces models that not only look good when texture mapped, but are also metrically accurate. Our method is designe...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
AINA
2003
IEEE
14 years 3 days ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
KBSE
1998
IEEE
14 years 21 days ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...