Sciweavers

21094 search results - page 92 / 4219
» An experiment using DLV-K
Sort
View
HT
2004
ACM
15 years 11 months ago
Experiences migrating microcosm learning materials
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
H. C. Davis, R. A. Bacon
ISER
2004
Springer
130views Robotics» more  ISER 2004»
15 years 11 months ago
Experiments in Robot Control from Uncalibrated Overhead Imagery
In this work we address the problem of controlling a ground robot based on aerial image feedback in real time. We present an analysis of the relationship between a robot’s ground...
Rahul Rao, Camillo J. Taylor, Vijay Kumar
CICLING
2003
Springer
15 years 11 months ago
Experiments with Linguistic Categories for Language Model Optimization
In this work1 we obtain robust category-based language models to be integrated into speech recognition systems. Deductive rules are used to select linguistic categories and to matc...
Arantza Casillas, Amparo Varona, Inés Torre...
P2P
2002
IEEE
15 years 11 months ago
Multishelf: An Experiment in Peer-to-Peer Infomediation
This paper describes the architecture and the implementation of Multishelf - a decentralized Peerto-Peer infomediator. Multishelf was designed and built during a ten-week senior s...
Zary Segall, Andrew Fortier, Gerd Kortuem, Jay Sch...
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 10 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...