5122 search results - page 692 / 1025 » Comparing Consequence Relations |
180
click to vote
SAC
2005
ACM
16 years 1 months 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...
183
click to vote
AUSAI
2005
Springer
16 years 29 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...
199
click to vote
CHARME
2005
Springer
16 years 29 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...
193
click to vote
DAGM
2005
Springer
16 years 29 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 ...
216
click to vote
EUROPKI
2005
Springer
16 years 29 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...