Sciweavers

1236 search results - page 196 / 248
» Programming by Demonstration for Information Agents
Sort
View
KI
2004
Springer
15 years 4 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster
POPL
2012
ACM
13 years 6 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 5 months ago
Learning and Evaluation of the Approach Vector for Automatic Grasp Generation and Planning
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
Staffan Ekvall, Danica Kragic
VRML
1999
ACM
15 years 3 months ago
A VRML Integration Methodology for Manufacturing Applications
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...
Sandy Ressler, Afzal Godil, Qiming Wang, Gregory S...
TASLP
2008
141views more  TASLP 2008»
14 years 11 months ago
Unsupervised Pattern Discovery in Speech
We present a novel approach to speech processing based on the principle of pattern discovery. Our work represents a departure from traditional models of speech recognition, where t...
A. S. Park, J. R. Glass