779 search results - page 76 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
136
click to vote
JUCS
2010
14 years 10 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
106
click to vote
MVA
2007
15 years 4 months ago
2007
Applying computer vision technology to IR (Infra-Red) images for UAV (Unmanned Aerial Vehicle) applications is difficult due to its characteristics which differ from common image ...
153
click to vote
COLING
2008
15 years 1 months ago
2008
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
132
click to vote
FMOODS
2007
15 years 4 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
159
click to vote
BTW
2005
Springer
15 years 8 months ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...