1312 search results - page 154 / 263 » Formally Optimal Boxing |
ISMVL
2006
IEEE
14 years 3 months ago
2006
IEEE
We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT, and establish its complexity class. We then describe a basic branch and bound algorithm for ...
TABLETOP
2006
IEEE
14 years 3 months ago
2006
IEEE
Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is u...
ACRI
2006
Springer
14 years 3 months ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
The decoupling of producers and consumers in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment with intermittent netwo...
AOSE
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...