Sciweavers

3591 search results - page 323 / 719
» Typing linear constraints
Sort
View
ICRA
2006
IEEE
133views Robotics» more  ICRA 2006»
16 years 28 days ago
A Quantitative Test for the Robustness of Graspless Manipulation
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
Yusuke Maeda, Satoshi Makita
GRC
2005
IEEE
16 years 15 days ago
Temporal granular logic for temporal data mining
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
Paul Cotofrei, Kilian Stoffel
ER
2004
Springer
82views Database» more  ER 2004»
16 years 8 days ago
Reachability Problems in Entity-Relationship Schema Instances
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
Sebastiano Vigna
RTAS
2000
IEEE
15 years 11 months ago
Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
C. Mani Krishna, Yann-Hang Lee
ISLPED
1998
ACM
79views Hardware» more  ISLPED 1998»
15 years 11 months ago
Voltage scheduling problem for dynamically variable voltage processors
This paper presents a model of dynamically variable voltage processor and basic theorems for power-delay optimization. A static voltage scheduling problem is also proposed and for...
Tohru Ishihara, Hiroto Yasuura