4934 search results - page 446 / 987 » complexity 2008 |
218
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
165
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...
204
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
177
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
— Successful multi-target tracking requires locating the targets and labeling their identities. For the laser based tracking system, the latter becomes significantly more challen...
159
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper addresses the limitation of current multilinear PCA based techniques, in terms of prohibitive computational cost of testing and poor generalisation in some scenarios, w...