1094 search results - page 219 / 219 » On Computing Explanations in Argumentation |
ECCC
2011
12 years 12 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
12 years 8 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
13 years 11 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
13 years 11 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...