2308 search results - page 213 / 462 » Representing Symbolic Reasoning |
166
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
158
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a system for efficient indexing and retrieval of words in collections of document images. The proposed method is based on two main principles: unsupervised pr...
157
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
204
click to vote
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Emerging ubiquitous and pervasive computing applications often need to know where things are physically located. To meet this need, many locationsensing systems have been develope...
187
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...