4617 search results - page 795 / 924 » Automation of Diagrammatic Reasoning |
201
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
254
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
184
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we introduce a framework for automated text recognition from images. We first describe a simple but efficient text detection and recognition method based on analysis...
265
Voted
GIS
2007
ACM
16 years 8 months ago
2007
ACM
Route planners request user input about preferred route characteristics in order to provide the user with the optimal route. Although navigators have a general idea about what con...
293
Voted
GIS
2007
ACM
16 years 8 months ago
2007
ACM
In this paper, we present an original network graph embedding to speed-up distance-range and k-nearest neighbor queries in (weighted) graphs. Our approach implements the paradigm ...