19320 search results - page 432 / 3864 » On the complexity of computing determinants |
212
click to vote
AMAST
2006
Springer
15 years 11 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...
204
click to vote
RSCTC
2000
Springer
15 years 11 months ago
2000
Springer
: This paper presents a Lab. implementation of a computer vision using fuzzy models for pattern recognition for the detection of boundaries in images obtained through a camera inst...
173
click to vote
AIPS
2010
15 years 10 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
179
click to vote
SEC
2000
15 years 9 months ago
2000
The theory of computer viruses has been studied by several authors, though there is no systematic theoretical study up to now. The long time open question in this area is as follo...
178
click to vote
CE
2008
15 years 7 months ago
2008
Developing children as successful learners is a key aim of A Curriculum for Excellence in Scotland. This paper presents qualitative results from an eight week exploratory field st...