6799 search results - page 240 / 1360 » The Tao of Modeling Spaces |
116
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
121
Voted
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
121
Voted
AAAI
2006
15 years 3 months ago
2006
Embedding algorithms are a method for revealing low dimensional structure in complex data. Most embedding algorithms are designed to handle objects of a single type for which pair...
115
click to vote
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
-- This paper presents the current state of a work in progress, whose objective is to better understand the effects of factors that significantly influence the performance of the L...