3082 search results - page 91 / 617 » New Bounds for the Controller Problem |
142
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
229
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Rapid advancements in positioning systems and wireless communications enable accurate tracking of continuously moving objects. This development poses new challenges to database te...
165
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
120
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
150
click to vote
SOCO
2002
Springer
15 years 3 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...