2477 search results - page 390 / 496 » Parallelizing Functional Programs by Generalization |
129
Voted
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
123
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
124
click to vote
SIGOPSE
2004
ACM
15 years 7 months ago
2004
ACM
Wireless ad hoc networks of sensor nodes are envisioned to be deployed in the physical environment to monitor a wide variety of real-world phenomena. Almost any sensor network appl...
99
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...
132
click to vote
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...