3381 search results - page 508 / 677 » Extending Dependencies with Conditions |
196
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
205
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
172
click to vote
ROBOCUP
2009
Springer
16 years 1 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
238
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents an algorithm for distributed power control and scheduling over wireless ad hoc-networks, where the data rate on each link depends on the transmission power ...
223
Voted
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
In order to ease the development and maintenance of more complex P2P applications, which combine multiple P2P functionality (e.g. streaming and dependable storage), we suggest to ...