1094 search results - page 219 / 219 » On Computing Explanations in Argumentation |
ECCC
2011
13 years 4 months ago
2011
We show two new direct product results in two different models of communication complexity. Our first result is in the model of one-way public-coin model. Let f ⊆ X × Y × Z ...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—Dynamic spectrum allocation has proven promising for mitigating the spectrum scarcity problem. In this model, primary users lease chunks of under-utilized spectrum to secondary ...
CLUSTER
2009
IEEE
14 years 4 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
GI
2007
Springer
14 years 4 months ago
2007
Springer
: Dieses Paper erläutert einen prototypischen Ansatz für die automatisierte Verwendung strukturierter Pattern-Sprachen als EntwurfsHilfsmittel zur Erstellung grafischer Benutzung...