Sciweavers

6582 search results - page 327 / 1317
» The focus of attention problem
Sort
View
PPDP
2007
Springer
16 years 27 days ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
TWC
2010
15 years 1 months ago
Splitting algorithms for fast relay selection: generalizations, analysis, and a unified view
Relay selection for cooperative communications promises significant performance improvements, and is, therefore, attracting, considerable attention. While several criteria have be...
Virag Shah, Neelesh B. Mehta, Raymond Yim
CP
2009
Springer
16 years 1 months ago
Closing the Open Shop: Contradicting Conventional Wisdom
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
Diarmuid Grimes, Emmanuel Hebrard, Arnaud Malapert
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
16 years 1 months ago
Behavior-based motion planning for group control
— Despite the large body of work in both motion planning and multi-agent simulation, little work has focused on the problem of planning motion for groups of robots using external...
Christopher Vo, Joseph F. Harrison, Jyh-Ming Lien
INFOCOM
2007
IEEE
16 years 1 months ago
Toward Tractable Computation of the Capacity of Multi-Hop Wireless Networks
— By posing the problem of bandwidth allocation as a constrained maximization problem, it is possible to study various features of optimal bandwidth allocation, and hence the cap...
Stephan Bohacek, Peng Wang