3824 search results - page 190 / 765 » Geometry Constructions Language |
108
click to vote
WCE
2007
15 years 1 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...
131
click to vote
ADBIS
2010
Springer
15 years 1 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
95
Voted
CONSTRAINTS
2008
15 years 27 days ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
107
click to vote
CORR
2006
Springer
15 years 25 days ago
2006
Springer
We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices. Its la...
IJAIT
2006
15 years 24 days ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...