Sciweavers

146 search results - page 9 / 30
» Identifying Nocuous Ambiguities in Natural Language Requirem...
Sort
View
WACV
2005
IEEE
14 years 1 months ago
Automatic 2D Hand Tracking in Video Sequences
In gesture and sign language video sequences, hand motion tends to be rapid, and hands frequently appear in front of each other or in front of the face. Thus, hand location is oft...
Quan Yuan, Stan Sclaroff, Vassilis Athitsos
ICSOC
2003
Springer
14 years 1 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
INAP
2001
Springer
14 years 13 days ago
Towards Reconciling Use Cases via Controlled Language and Graphical Models
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
Kathrin Böttger, Rolf Schwitter, Diego Moll&a...
JCDL
2009
ACM
139views Education» more  JCDL 2009»
14 years 2 months ago
Topic model methods for automatically identifying out-of-scope resources
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
Steven Bethard, Soumya Ghosh, James H. Martin, Tam...
PLDI
1997
ACM
14 years 5 days ago
Incremental Analysis of real Programming Languages
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
Tim A. Wagner, Susan L. Graham