Sciweavers

603 search results - page 90 / 121
» Rapid Prototyping with AutoFocus
Sort
View
TLCA
2005
Springer
14 years 1 months ago
Avoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
Christian Urban, James Cheney
CVDB
2004
ACM
14 years 1 months ago
Managing Video Collections at Large
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the p...
Nicolas Moënne-Loccoz, Bruno Janvier, St&eacu...
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
14 years 27 days ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
HICSS
2003
IEEE
156views Biometrics» more  HICSS 2003»
14 years 27 days ago
Developing Video Services for Mobile Users
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
Mohamed Ahmed, Roger Impey, Ahmed Karmouch
ICAT
2003
IEEE
14 years 26 days ago
The study of remote saccade sensing system based on retroreflective feature of the retina
We present a new method for detecting rapid eye movements called a saccade without constraining the head, based on the fast, robust pupil detection technique [1][2]. The technique...
Junji Watanabe, Hideyuki Ando, Dairoku Sekiguchi, ...