5122 search results - page 692 / 1025 » Comparing Consequence Relations |
169
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
: Traditional spatial indexes like R-tree usually assume the database is not updated frequently. In applications like location-based services and sensor networks, this assumption i...
166
click to vote
AUSAI
2005
Springer
16 years 9 days ago
2005
Springer
: In order to scale to problems with large or continuous state-spaces, reinforcement learning algorithms need to be combined with function approximation techniques. The majority of...
174
click to vote
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
176
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present a novel image-based 3D surface reconstruction technique that incorporates reflectance, polarisation, and defocus information into a variational ...
187
click to vote
EUROPKI
2005
Springer
16 years 8 days ago
2005
Springer
Credentials like passwords or cryptographic key pairs are a means to prove one’s identity to a web server. A practical problem in this context is the question of how a user can t...