5401 search results - page 779 / 1081 » Using Versions in GIS |
186
click to vote
SG
2007
Springer
16 years 20 days ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
157
click to vote
SGAI
2007
Springer
16 years 20 days ago
2007
Springer
Constraint Satisfaction Problems can be solved using either iterative improvement or constructive search approaches. Iterative improvement techniques converge quicker than the cons...
183
click to vote
STACS
2007
Springer
16 years 20 days ago
2007
Springer
One frequently studied problem in the context of information dissemination in communication networks is the broadcasting problem. In this paper, we study the following randomized b...
191
click to vote
TCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In an identity based encryption scheme, each user is identified by a unique identity string. An attribute based encryption scheme (ABE), in contrast, is a scheme in whic...
188
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...