444 search results - page 59 / 89 » Sensitive state-space exploration |
NIPS
2007
15 years 1 months ago
2007
Can we leverage learning techniques to build a fast nearest-neighbor (ANN) retrieval data structure? We present a general learning framework for the NN problem in which sample que...
AAAI
2000
15 years 1 months ago
2000
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
MASCOTS
2000
15 years 1 months ago
2000
This paper focuses on the differences between monofractal and multifractal network traffic, both in terms of modeling approaches, and in terms of practical impacts on network perf...
110
click to vote
NAR
2006
14 years 11 months ago
2006
HHsenser is the first server to offer exhaustive intermediate profile searches, which it combines with pairwise comparison of hidden Markov models. Starting from a single protein ...
105
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...