573 search results - page 41 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
AI
2000
Springer
14 years 9 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
DAC
1989
ACM
15 years 2 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
JUCS
2007
14 years 9 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
107
click to vote
CVPR
1997
IEEE
15 years 2 months ago
1997
IEEE
A novel approach is proposed to obtain a record of the patient’s occlusion using computer vision. Data acquisition is obtained using intra-oral video cameras. The technique utili...
125
click to vote
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...