Sciweavers

1146 search results - page 47 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
EELC
2006
154views Languages» more  EELC 2006»
15 years 1 months ago
Unify and Merge in Fluid Construction Grammar
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
Luc Steels, Joachim De Beule
IJCAI
2003
14 years 11 months ago
The Knowledge Required to Interpret Noun Compounds
Noun compound interpretation is the task of determining the semantic relations among the constituents of a noun compound. For example, "concrete floor" means a floor mad...
James Fan, Ken Barker, Bruce W. Porter
AAMAS
2000
Springer
14 years 9 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 1 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
TOOLS
1999
IEEE
15 years 2 months ago
Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
Susan Lilly