1016 search results - page 95 / 204 » Explore or Exploit |
STTT
2008
13 years 9 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
INFORMATICALT
2007
13 years 9 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
JLP
2007
13 years 9 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
This paper describes the results of some experiments exploring statistical methods to infer syntactic categories from a raw corpus in an unsupervised fashion. It shares certain po...
EXPERT
2000
13 years 9 months ago
2000
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...