Sciweavers

1707 search results - page 192 / 342
» On the Design of Agent-Based Systems using UML and Extension...
Sort
View
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
16 years 27 days ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers
UIST
2005
ACM
15 years 12 months ago
Sensing and visualizing spatial relations of mobile devices
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...
IJRR
2010
132views more  IJRR 2010»
15 years 3 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...
DKE
2008
114views more  DKE 2008»
15 years 6 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...
ICCBR
2003
Springer
15 years 11 months ago
SOFT-CBR: A Self-Optimizing Fuzzy Tool for Case-Based Reasoning
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
Kareem S. Aggour, Marc Pavese, Piero P. Bonissone,...