5550 search results - page 221 / 1110 » Different Approaches to Proof Systems |
141
click to vote
ARITH
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
170
click to vote
ECBS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
133
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
220
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
182
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...