1456 search results - page 155 / 292 » An Overview of the SODA System |
156
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper provides an overview of a technique for extracting information from the Web search interfaces of e-commerce search engines that is useful for supporting automatic searc...
167
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This poster presents an overview of the work on an interaction manager of a platform for multimodal applications in 2.5G and 3G mobile phone networks and WLAN environments. The po...
136
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present Fly, a prototype presentation system that adds a visual structure to presentations. Current presentation software, like PowerPoint, structure slides in a...
170
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
283
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The provenance of data has recently been recognized as central to the trust one places in data. It is also important to annotation, to data integration and to probabilistic databa...