2602 search results - page 407 / 521 » Semantic Analysis of 'to' |
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
SEMWEB
2005
Springer
14 years 3 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
PLDI
2004
ACM
14 years 3 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...
AMFG
2003
IEEE
14 years 3 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...
ICDAR
2003
IEEE
14 years 3 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...