3238 search results - page 455 / 648 » On the Computational Interpretation of Negation |
151
click to vote
HT
2005
ACM
16 years 1 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
176
click to vote
ICFP
2005
ACM
16 years 1 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
172
click to vote
SIGECOM
2005
ACM
16 years 1 days ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
179
click to vote
EDO
2005
Springer
16 years 20 hour ago
2005
Springer
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...
175
click to vote
EMMCVPR
2005
Springer
16 years 20 hour ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...