Sciweavers

2129 search results - page 255 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 18 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
SMI
2006
IEEE
152views Image Analysis» more  SMI 2006»
16 years 17 days ago
A Laplacian Based Approach for Free-Form Deformation of Sparse Low-degree IMplicit Surfaces
Sparse Low-degree IMplicit (SLIM) surface [11] is a recently developed non-conforming surface representation. In this paper, a method for free-form deformation of SLIM surfaces is...
Yutaka Ohtake, Takashi Kanai, Kiwamu Kase
SIGMOD
2005
ACM
113views Database» more  SIGMOD 2005»
16 years 3 days ago
Robust and Fast Similarity Search for Moving Object Trajectories
An important consideration in similarity-based retrieval of moving object trajectories is the definition of a distance function. The existing distance functions are usually sensi...
Lei Chen 0002, M. Tamer Özsu, Vincent Oria
ECCV
2004
Springer
15 years 12 months ago
AQUATICS Reconstruction Software: The Design of a Diagnostic Tool Based on Computer Vision Algorithms
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
Andrea Giachetti, Gianluigi Zanetti
ICDM
2003
IEEE
125views Data Mining» more  ICDM 2003»
15 years 12 months ago
Improving Home Automation by Discovering Regularly Occurring Device Usage Patterns
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...
Edwin O. Heierman III, Diane J. Cook