2399 search results - page 296 / 480 » Peer-to-peer form based web information systems |
193
click to vote
LATIN
2004
Springer
15 years 12 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
187
click to vote
IIR
2010
15 years 8 months ago
2010
Increasing applications are demanding effective and efficient support to perform retrieval in large collections of digital images. The work presented here is an early stage resear...
170
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
179
click to vote
MM
2006
ACM
16 years 18 days ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
172
click to vote
CHI
2003
ACM
15 years 12 months ago
2003
ACM
With the advent of new technology in vehicles, drivers can access information in many different forms (email, address books, Web pages) and from many information sources (cell pho...