704 search results - page 114 / 141 » A Randomized Method for Integrated Exploration |
88
Voted
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
80
Voted
BIS
2008
14 years 11 months ago
2008
Abstract. In this paper, we use a qualitative approach to explore which design aspects an erecruiting platform requires so as to achieve active long-term participation of its users...
CMG
2001
14 years 11 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
BMCBI
2006
14 years 9 months ago
2006
Background: The diverse functions of ncRNAs critically depend on their structures. Mutations in ncRNAs disrupting the structures of functional sites are expected to be deleterious...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
This work provides a framework for learning sequential attention in real-world visual object recognition, using an architecture of three processing stages. The first stage rejects...