5550 search results - page 203 / 1110 » Different Approaches to Proof Systems |
149
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...
224
click to vote
CL
2012
Springer
13 years 9 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
170
click to vote
TVLSI
2010
15 years 1 months ago
2010
It has been recently demonstrated that digital signal processing systems may possibly leverage unconventional voltage overscaling (VOS) to reduce energy consumption while maintaini...
170
click to vote
IFIP8
2004
15 years 8 months ago
2004
The increasing success of wireless technologies is sustaining the diffusion of mobile information systems, but the youth of the underlying technology and its peculiar characterist...
140
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents an approach to develop bidding agents that participate in multiple alternative auctions, with the goal of obtaining an item at the lowest price. The approach c...