9405 search results - page 976 / 1881 » Computing a Model of Set Theory |
229
click to vote
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
238
click to vote
EDCC
2008
Springer
15 years 9 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
188
click to vote
ISMB
2000
15 years 9 months ago
2000
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
194
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we investigate an approach to provide approximate, anytime algorithms for DCOPs that can provide quality guarantees. At this aim, we propose the divide-and-coordinat...
196
click to vote
TKDE
2008
15 years 7 months ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...