2409 search results - page 127 / 482 » Logical systems for structured specifications |
231
click to vote
AAAI
2008
15 years 7 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
160
click to vote
MVA
1992
15 years 7 months ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
167
click to vote
AOSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
153
click to vote
3DIM
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the main features of an optical instrument for the acquisition and the registration of 3D images. The system exploits the projection of structured light, spec...
160
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...