3239 search results - page 249 / 648 » A Logical Process Calculus |
142
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
139
click to vote
PTS
1998
15 years 6 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
148
click to vote
WCE
2007
15 years 6 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
162
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
147
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...