Sciweavers

10542 search results - page 230 / 2109
» A General Notion of Useful Information
Sort
View
AVI
2006
15 years 8 months ago
Heuristics for information visualization evaluation
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
Torre Zuk, Lothar Schlesier, Petra Neumann, Mark S...
ASP
2005
Springer
16 years 6 days ago
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
Magdalena Ortiz, Mauricio Osorio
ESA
2005
Springer
131views Algorithms» more  ESA 2005»
16 years 5 days ago
Computing Common Intervals of K Permutations, with Applications to Modular Decomposition of Graphs
We introduce a new way to compute common intervals of K permutations based on a very simple and general notion of generators of common intervals. This formalism leads to simple an...
Anne Bergeron, Cedric Chauve, Fabien de Montgolfie...
FOSSACS
2004
Springer
16 years 1 days ago
On Term Rewriting Systems Having a Rational Derivation
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
Antoine Meyer
ISLPED
2000
ACM
94views Hardware» more  ISLPED 2000»
15 years 11 months ago
Algorithmic transforms for efficient energy scalable computation
We introduce the notion of energy scalable computation on general purpose processors. The principle idea is to maximize computational quality for a given energy constraint. The de...
Amit Sinha, Alice Wang, Anantha Chandrakasan