4418 search results - page 229 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
155
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
163
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper describes a novel hand-based verification system based on palm-finger segmentation and fusion. The proposed system operates on 2D hand images acquired by placing the ha...
211
click to vote
FGCS
2002
15 years 6 months ago
2002
As the practice of science moves beyond the single investigator due to the complexity of the problems that now dominate science, large collaborative and multi-institutional teams ...
148
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
The traditional retrieval models based on term matching are not effective in collections of degraded documents (output of OCR or ASR systems for instance). This paper presents a n...
142
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...