898 search results - page 86 / 180 » A Linear Tabling Mechanism |
PRDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
Despite the fact that people are increasingly listening to music electronically, the core interface of the common tools for playing the music have had very little improvement. In ...
CDC
2009
IEEE
14 years 16 days ago
2009
IEEE
— Instantaneous charge/flux transfers may occur in switched electrical circuits when the switch configuration changes. Characterization of such state discontinuities is a class...
CDC
2009
IEEE
14 years 16 days ago
2009
IEEE
— In general, existing model reduction techniques for stable nonlinear systems lack a guarantee on stability of the reduced-order model, as well as an error bound. In this paper,...