2602 search results - page 407 / 521 » Semantic Analysis of 'to' |
177
Voted
BIRTHDAY
2005
Springer
16 years 17 days 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...
170
click to vote
SEMWEB
2005
Springer
16 years 15 days 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...
174
Voted
PLDI
2004
ACM
16 years 14 days 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...
239
Voted
AMFG
2003
IEEE
16 years 10 days 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...
194
Voted
ICDAR
2003
IEEE
16 years 10 days 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...