1353 search results - page 151 / 271 » Streamlined Constraint Reasoning |
140
Voted
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Agile processes rely on feedback and communication to work and they often work best with co-located teams for this reason. Sometimes agile makes sense because of project requireme...
188
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
211
Voted
APCSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract. Scheduling algorithms significantly affect the performance of a realtime system. In systems with power constraints, context switches in a schedule result in wasted power ...
169
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
167
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...