3552 search results - page 573 / 711 » Proof theory in the abstract |
161
click to vote
AVI
2010
15 years 8 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
161
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
202
click to vote
BRAIN
2010
Springer
15 years 7 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
151
click to vote
IJNSEC
2008
15 years 6 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
169
click to vote
COMPIMAGE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we analyze the effects of energy normalization in adaptivehierarchy-based energy minimization methods. Adaptive hierarchies provide a nt multi-level abstra...