130 search results - page 12 / 26 » Finding and Certifying Loops |
KDD
2003
ACM
14 years 8 months ago
2003
ACM
Defining outliers by their distance to neighboring examples is a popular approach to finding unusual examples in a data set. Recently, much work has been conducted with the goal o...
CARS
2003
13 years 9 months ago
2003
This article proposes the use of autonomous actors for navigation support within complex virtual medical objects reconstructed from Computed Tomography or Magnetic Resonance Imagi...
IJISEC
2008
13 years 7 months ago
2008
The Ate pairing has been suggested since it can be computed efficiently on ordinary elliptic curves with small values of the traces of Frobenius t. However, not all pairing-friendl...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...