Sciweavers

4327 search results - page 353 / 866
» Web presentation system using RST events
Sort
View
ICRA
2010
IEEE
181views Robotics» more  ICRA 2010»
15 years 5 months ago
An Electric Field Pretouch system for grasping and co-manipulation
— Pretouch sensing is longer range than contact, but shorter range than vision. The hypothesis motivating this work is that closed loop feedback based on short range but nonconta...
Brian Mayton, Louis LeGrand, Joshua R. Smith
COSIT
1995
Springer
117views GIS» more  COSIT 1995»
15 years 10 months ago
Providing Spatial Navigation for the World Wide Web
The World Wide Web (WWW) is a rapidly growing distributed hypertext on the Internet. This paper presents a way to enable users to navigate the WWW spatially by providing a spatial...
Andreas Dieberger
ECSQARU
2007
Springer
16 years 26 days ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
ISSS
1997
IEEE
103views Hardware» more  ISSS 1997»
15 years 11 months ago
Fast and Extensive System-Level Memory Exploration for ATM Applications
In this paper, our memory architecture exploration methodology and CAD techniques for network protocol applications are presented. Prototype tools have been implemented, and appli...
Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt...
ICLP
2007
Springer
15 years 10 months ago
Web Sites Verification: An Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
Paolo Mancarella, Giacomo Terreni, Francesca Toni