Sciweavers

881 search results - page 59 / 177
» Solving satisfiability problems with preferences
Sort
View
ICASSP
2011
IEEE
13 years 14 days ago
Collaborative system for signal processing education
In this paper we present a collaborative system designed to develop problem solving skills in learners through problemcentric exercises. This system is part of a data collection s...
Gregory A. Krudysz, James H. McClellan
ATAL
2006
Springer
14 years 15 days ago
Agent interaction in distributed POMDPs and its implications on complexity
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
Jiaying Shen, Raphen Becker, Victor R. Lesser
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
13 years 9 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
ASIAN
1999
Springer
186views Algorithms» more  ASIAN 1999»
14 years 1 months ago
Ant Colony Optimization for the Ship Berthing Problem
Abstract. Ant Colony Optimization (ACO) is a paradigm that employs a set of cooperating agents to solve functions or obtain good solutions for combinatorial optimization problems. ...
Chia Jim Tong, Hoong Chuin Lau, Andrew Lim
JAIR
2008
102views more  JAIR 2008»
13 years 8 months ago
An Ordinal Bargaining Solution with Fixed-Point Property
Shapley's impossibility result indicates that the two-person bargaining problem has no non-trivial ordinal solution with the traditional game-theoretic bargaining model. Alth...
Dongmo Zhang, Yan Zhang