4178 search results - page 527 / 836 » Similarity Patterns in Language |
305
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
158
Voted
BIOINFORMATICS
2005
15 years 6 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...
206
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we study the problem of keyword proximity search over XML documents and leverage the efficiency and effectiveness. We take the disjunctive semantics among input key...
160
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper describes a kernel based Web Services (abbreviated as service) matching mechanism for service discovery and integration. The matching mechanism tries to exploit the lat...
233
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...