290 search results - page 50 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
ENTCS
2002
13 years 10 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
JCDL
2005
ACM
14 years 4 months ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
PAMI
2012
12 years 1 months ago
2012
—Locating the center of the eyes allows for valuable information to be captured and used in a wide range of applications. Accurate eye center location can be determined using com...
ISBI
2008
IEEE
14 years 11 months ago
2008
IEEE
Several functional and biomedical imaging techniques rely on determining hemodynamic variables and their changes in large vascular networks. To do so at micro-vascular resolution ...
CASES
2004
ACM
14 years 4 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...