5378 search results - page 151 / 1076 » Base Logics in Argumentation |
170
click to vote
ICRA
2007
IEEE
16 years 16 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
147
Voted
ATS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
168
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
133
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: Wireless sensor/actuator networks (WSANs) are emerging rapidly as a new generation of sensor networks. Despite intensive research in wireless sensor networks (WSNs), limited work...
194
click to vote
HEURISTICS
2006
15 years 6 months ago
2006
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...