5378 search results - page 715 / 1076 » Base Logics in Argumentation |
179
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
189
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
166
click to vote
DEXAW
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a framework for the management of multiple representations of georeferenced elements in a GIS environment. This solution is presented from a database perspecti...
158
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...
155
click to vote
ICLP
1990
Springer
15 years 11 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...