Sciweavers

7554 search results - page 1266 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 10 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...
DEXA
2006
Springer
190views Database» more  DEXA 2006»
15 years 10 months ago
High-Dimensional Similarity Search Using Data-Sensitive Space Partitioning
Abstract. Nearest neighbor search has a wide variety of applications. Unfortunately, the majority of search methods do not scale well with dimensionality. Recent efforts have been ...
Sachin Kulkarni, Ratko Orlandic
ECCV
2006
Springer
15 years 10 months ago
Recursive Structure from Motion Using Hybrid Matching Constraints with Error Feedback
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
Fredrik Nyberg, Anders Heyden
FORMATS
2006
Springer
15 years 10 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
GECCO
2006
Springer
177views Optimization» more  GECCO 2006»
15 years 10 months ago
Hyper-ellipsoidal conditions in XCS: rotation, linear approximation, and solution structure
The learning classifier system XCS is an iterative rulelearning system that evolves rule structures based on gradient-based prediction and rule quality estimates. Besides classifi...
Martin V. Butz, Pier Luca Lanzi, Stewart W. Wilson
« Prev « First page 1266 / 1511 Last » Next »