108 search results - page 11 / 22 » Enforcing structural regularities in software using IntensiV... |
MEMOCODE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
In the field of neuroanatomy, automatic segmentation of electron microscopy images is becoming one of the main limiting factors in getting new insights into the functional struct...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...