4328 search results - page 485 / 866 » A New Kind of Science |
196
click to vote
SOFSEM
2007
Springer
16 years 28 days ago
2007
Springer
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
198
click to vote
SOFSEM
2007
Springer
16 years 28 days ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
201
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
182
click to vote
STACS
2007
Springer
16 years 28 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
207
click to vote
TLCA
2007
Springer
16 years 28 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...