2651 search results - page 372 / 531 » Experiences with the Use of a Configuration Language |
164
click to vote
ICLP
2005
Springer
16 years 9 hour ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
158
click to vote
IJCNLP
2005
Springer
16 years 6 hour ago
2005
Springer
The entity and relation recognition, i.e. (1) assigning semantic classes to entities in a sentence, and (2) determining the relations held between entities, is an important task in...
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
179
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
172
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...