Sciweavers

221 search results - page 36 / 45
» Deriving Explanations From Partial Temporal Information
Sort
View
ICASSP
2008
IEEE
15 years 6 months ago
Kerdock codes for limited feedback MIMO systems
A codebook based limited feedback strategy is a practical way to obtain partial channel state information at the transmitter in a precoded multiple-input multiple-output (MIMO) wi...
Takao Inoue, Robert W. Heath Jr.
165
Voted
ICRA
2005
IEEE
263views Robotics» more  ICRA 2005»
15 years 5 months ago
An Integrated Path Planning and Control Framework for Nonholonomic Unicycles
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
Kaustubh Pathak, Sunil Kumar Agrawal
AGP
1994
IEEE
15 years 3 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
CVGIP
2000
124views more  CVGIP 2000»
14 years 11 months ago
Hierarchical Solutions for the Deformable Surface Problem in Visualization
In this paper we present a hierarchical approach for the deformable surface technique. This technique is a three dimensional extension of the snake segmentation method. We use it ...
Christoph Lürig, Leif Kobbelt, Thomas Ertl
ENTCS
2006
128views more  ENTCS 2006»
14 years 11 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi