Sciweavers

1242 search results - page 143 / 249
» The Theory of Grammar Constraints
Sort
View
FSEN
2007
Springer
15 years 7 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
100
Voted
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 6 months ago
Study on Hemispherical Soft-fingered Handling for fine Manipulation by Minimum D.O.F. Robotic Hand
— This paper provides that an elastic force and an elastic potential energy due to the deformation of soft fingers, which are previously derived, can be calculated into straight...
Takahiro Inoue, Shinichi Hirai
74
Voted
ICRA
2005
IEEE
86views Robotics» more  ICRA 2005»
15 years 6 months ago
A New Perspective on O(n) Mass-Matrix Inversion for Serial Revolute Manipulators
– This paper describes a new algorithm for the efficient mass-matrix inversion of serial manipulators. Whereas several well-known O(n) algorithms already exist, our presentation ...
Kiju Lee, Gregory S. Chirikjian
100
Voted
ISMIS
2003
Springer
15 years 6 months ago
Enacting an Agent-Based Digital Self in a 24x7 Web Services World
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
Steve Goschnick
107
Voted
AIPS
2006
15 years 2 months ago
On Some Tractable Cases of Logical Filtering
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
T. K. Satish Kumar, Stuart J. Russell