448 search results - page 69 / 90 » Obstacle avoidance in formation |
104
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
122
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
This paper presents a low-overhead controller-based power managementtechnique that re-specifies control signals to reconfigure existing multiplexer networks and functional units t...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The data model of an application, the nature and format of data stored across executions, is typically a very rigid part of its early specication, even when prototyping, and chang...
113
Voted
ICMLC
2010
Springer
15 years 14 days ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
101
Voted
ICCCI
2010
Springer
14 years 12 months ago
2010
Springer
An ontology-supported ubiquitous interface agent and its interaction diagram with the backend information agent system, i.e., OntoIAS, in cloud computing environments were proposed...