7167 search results - page 159 / 1434 » A Technique for Invariant Generation |
176
click to vote
CAEPIA
2003
Springer
16 years 9 days ago
2003
Springer
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
201
click to vote
VISUALIZATION
2002
IEEE
15 years 12 months ago
2002
IEEE
Motion provides strong visual cues for the perception of shape and depth, as demonstrated by cognitive scientists and visual artists. This paper presents a novel visualization tec...
183
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Computational forensic engineering (CFE) aims to identify the entity that created a particular intellectual property (IP). Rather than relying on watermarking content or designs, t...
194
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...
181
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...