372 search results - page 68 / 75 » A framework for rapid integration of presentation components |
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
CRV
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a template-based algorithm to track and recognize athlete’s actions in an integrated system using only visual information. Conventional template-based action...
ICMI
2005
Springer
15 years 3 months ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
VLDB
1989
ACM
15 years 1 months ago
1989
ACM
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...