1722 search results - page 68 / 345 » Dedication |
115
click to vote
DAC
2001
ACM
16 years 1 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
103
click to vote
ISBI
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
88
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
93
Voted
PERCOM
2007
ACM
16 years 3 days ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
104
click to vote
ICIAP
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we combine a state of the art eye center locator and a new eye corner locator into a system which estimates the visual gaze of a user in a controlled environment (e.g...