10435 search results - page 1916 / 2087 » Computational Biology and Language |
163
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
174
click to vote
IDEAL
2005
Springer
16 years 2 days ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
190
click to vote
INTETAIN
2005
Springer
16 years 2 days ago
2005
Springer
We present COHIBIT, an edutainment exhibit for theme parks in an ambient intelligence environment. It combines ultimate robustness and simplicity with creativity and fun. The visit...
197
click to vote
ISPA
2005
Springer
16 years 2 days ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
160
click to vote
KES
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...