6592 search results - page 1278 / 1319 » On robust cycle bases |
111
click to vote
CAV
2010
Springer
15 years 3 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
115
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...
111
click to vote
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
123
click to vote
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
CCGRID
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we investigate the utilization of nondedicated, opportunistic resources in a desktop environment to provide statistical assurances to a class of QoS sensitive, soft ...