4117 search results - page 774 / 824 » On the Satisfiability of Complex Constraints |
185
click to vote
ICCD
2002
IEEE
16 years 2 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
148
Voted
ATAL
2009
Springer
16 years 14 days ago
2009
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested agents. Specifically, we consider the case where issues are divisible, there are time constraints in ...
150
click to vote
CIKM
2009
Springer
16 years 14 days ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...
160
Voted
EMSOFT
2009
Springer
16 years 13 days ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
177
click to vote
ESA
2009
Springer
16 years 13 days ago
2009
Springer
In this paper, we introduce the bounded budget betweenness centrality game, a strategic network formation game in which nodes build connections subject to a budget constraint in or...