327 search results - page 34 / 66 » Model Checking and Evidence Exploration |
SIGIR
2010
ACM
13 years 10 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...
NN
2000
Springer
13 years 9 months ago
2000
Springer
This work describes a neural network model of the rat exploratory behavior in the elevated plus-maze, a test used to study anxiety. It involves three parameters: drive to explore;...
IJDE
2002
13 years 9 months ago
2002
Law enforcement is in a perpetual race with criminals in the application of digital technologies, and requires the development of tools to systematically search digital devices fo...
MTA
2008
13 years 9 months ago
2008
The problem of content based image retrieval (CBIR) has traditionally been investigated within a framework that emphasises the explicit formulation of a query: users initiate an au...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper, we explore the capabilities of actuated models of the compass gait walker on rough terrain. We solve for the optimal high-level feedback policy to negoti...