Sciweavers

1421 search results - page 244 / 285
» Satisfying KBO Constraints
Sort
View
WICSA
2008
15 years 7 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
AAAI
2006
15 years 7 months ago
The Impact of Balancing on Problem Hardness in a Highly Structured Domain
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
Carlos Ansótegui, Ramón Béjar...
AIPS
2004
15 years 7 months ago
Domain-Specific Preferences for Causal Reasoning and Planning
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
James P. Delgrande, Torsten Schaub, Hans Tompits
AIIDE
2006
15 years 7 months ago
Representational Requirements for a Plan Based Approach to Automated Camera Control
Automated camera control has been an active area of research for a number of years. The problem has been addressed in the Graphics, AI and Game communities from different perspect...
Arnav Jhala, R. Michael Young
NETWORKING
2004
15 years 7 months ago
Call Admission Control for Voice/Data Integration in Broadband Wireless Networks
This paper addresses bandwidth allocation for an integrated voice/data broadband mobile wireless network. Specifically, we propose a new admission control scheme called EFGC, whic...
Majid Ghaderi, Raouf Boutaba