5550 search results - page 90 / 1110 » Different Approaches to Proof Systems |
175
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
157
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
177
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
182
click to vote
IPM
2010
15 years 4 months ago
2010
This paper describes a supervised, knowledge-intensive approach to the automatic identification of semantic relations between nominals in English sentences. The system employs di...
124
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Roles seem to be a suitable concept for the development of agent-based systems. We have compared different approaches based on roles for agent development. This paper illustrates ...