1917 search results - page 237 / 384 » Experimenting with Nonmonotonic Reasoning |
SIGMOD
2003
ACM
14 years 10 months ago
2003
ACM
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...
EDBT
2004
ACM
14 years 10 months ago
2004
ACM
XML suffers from the major limitation of high redundancy. Even if compression can be beneficial for XML data, however, once compressed, the data can be seldom browsed and queried i...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...