10715 search results - page 1922 / 2143 » From Tests to Proofs |
200
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
179
click to vote
ICMI
2005
Springer
16 years 4 days ago
2005
Springer
Head pose and gesture offer several key conversational grounding cues and are used extensively in face-to-face interaction among people. We investigate how dialog context from an ...
222
click to vote
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
197
click to vote
NIME
2005
Springer
16 years 4 days ago
2005
Springer
In recent years Computer Network-Music has increasingly captured the attention of the Computer Music Community. With the advent of Internet communication, geographical displacemen...
186
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...