6750 search results - page 1213 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
130
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
106
click to vote
CIT
2006
Springer
15 years 7 months ago
2006
Springer
Radio Frequency Identification (RFID) is slated to become a standard for tagging various products. As more and more products become RFID enabled, fast tag identification mechanism...
114
click to vote
ISBRA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Phylogenetic trees are tree structures that depict relationships between organisms. Popular analysis techniques often produce large collections of candidate trees, which ...
112
click to vote
AAAI
2007
15 years 5 months ago
2007
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...
125
click to vote
AAAI
2007
15 years 5 months ago
2007
The problem of locating motifs in real-valued, multivariate time series data involves the discovery of sets of recurring patterns embedded in the time series. Each set is composed...