2517 search results - page 176 / 504 » Specifying Weak Sets |
161
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Many robotics tasks require a robot to share the same workspace with humans. In such settings, it is important that the robot performs in such a way that does not cause distress t...
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Statistical learning theory chiefly studies restricted hypothesis classes, particularly those with finite Vapnik-Chervonenkis (VC) dimension. The fundamental quantity of interest i...
127
click to vote
CGF
2007
15 years 6 months ago
2007
We describe a system for the animation of a skeleton-controlled articulated object that preserves the fine geometric details of the object skin and conforms to the characteristic ...
166
click to vote
JLP
2006
15 years 6 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
156
click to vote
IEE
1998
15 years 6 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...