2152 search results - page 280 / 431 » On Automating the Calculus of Relations |
135
click to vote
CL
2002
Springer
15 years 20 days ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
109
Voted
CSL
2002
Springer
15 years 20 days ago
2002
Springer
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
122
Voted
CSL
2002
Springer
15 years 20 days ago
2002
Springer
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
108
click to vote
GIS
2002
ACM
15 years 18 days ago
2002
ACM
The focus of this paper is on interoperability issues to achieve data integration in distributed databases for geographic applications. Our concrete application is in the context ...
154
Voted
GIS
2002
ACM
15 years 18 days ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...