4693 search results - page 690 / 939 » Verifying Hybrid Systems |
169
Voted
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...
155
click to vote
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
167
Voted
MTV
2003
IEEE
15 years 11 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
138
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
180
Voted
CIARP
2003
Springer
15 years 11 months ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...