8911 search results - page 1575 / 1783 » Intelligent Systems for Tourism |
208
click to vote
TPHOL
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
181
click to vote
DRM
2005
Springer
16 years 21 days ago
2005
Springer
Watermarking technologies have been envisioned as a potential means for establishing ownership on digital media objects. However, achievable robustness and false-positive rates of...
212
click to vote
UIST
2004
ACM
16 years 18 days ago
2004
ACM
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video...
242
click to vote
ATAL
2004
Springer
16 years 17 days ago
2004
Springer
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
251
click to vote
EWCBR
2004
Springer
16 years 17 days ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...