1187 search results - page 163 / 238 » Computation in Extended Argumentation Frameworks |
92
Voted
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
100
click to vote
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
VISUALIZATION
1997
IEEE
15 years 5 months ago
1997
IEEE
Genus-reducing simplifications are important in constructing multiresolution hierarchies for level-of-detail-based rendering, especially for datasets that have several relatively ...
115
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
112
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
We introduce LogGOPSim--a fast simulation framework for parallel algorithms at large-scale. LogGOPSim utilizes a slightly extended version of the well-known LogGPS model in combin...