16513 search results - page 2950 / 3303 » Numerical Analysis Methods |
146
click to vote
CAV
2006
Springer
15 years 8 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...
148
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
140
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
In practical classification, there is often a mix of learnable and unlearnable classes and only a classifier above a minimum performance threshold can be deployed. This problem is...
161
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...
122
click to vote
CIT
2006
Springer
15 years 8 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...