3679 search results - page 610 / 736 » Hybrid Semantic Analysis |
152
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
213
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose the concept of Manifold of Facial Expression based on the observation that images of a subject’s facial expressions define a smooth manifold in the hig...
172
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
There have been recent improvements in document technologies like the standardization of object interfaces to access and manipulate the properties of web documents. There has also...
154
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
164
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...