2100 search results - page 323 / 420 » Relational Topographic Maps |
153
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
145
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
182
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
160
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...
143
click to vote
ARC
2010
Springer
15 years 9 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...