520 search results - page 22 / 104 » Implementing a Generalized Version of Resolution |
SIGADA
2004
Springer
15 years 3 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
103
click to vote
ICDE
2007
IEEE
15 years 1 months ago
2007
IEEE
Preserving privacy has become a crucial requirement for operating a business that manages personal data. Hippocratic databases have been proposed to answer this requirement throug...
SIGDIAL
2010
14 years 4 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
107
click to vote
CVPR
2012
IEEE
13 years 8 days ago
2012
IEEE
Mobile platforms such as smart-phones and tablet computers have attained the technological capacity to perform tasks beyond their intended purposes. The steady increase of process...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...