171 search results - page 5 / 35 » Exploring Very Low-Energy Logic: A Case Study |
CORR
2007
Springer
14 years 9 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
JSAI
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. The research community plays a very important role in helping researchers undertake new research topics. The authors propose a community mining system that helps to find...
DIAGRAMS
2010
Springer
14 years 10 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
108
click to vote
DAWAK
2004
Springer
15 years 2 months ago
2004
Springer
Visualization techniques provide an outstanding role in KDD process for data analysis and mining. However, one image does not always convey successfully the inherent information fr...