240 search results - page 34 / 48 » Incorporating Tables into Proofs |
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
Although the ever growing Web contain information to virtually every user’s query, it does not guarantee effectively accessing to those information. In many situations, the user...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
We demonstrate a prototype that translates schemas from a source metamodel (e.g., OO, relational, XML) to a target metamodel. The prototype is integrated with Microsoft Visual Stu...
FPGA
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
SIGMOD
1998
ACM
14 years 3 days ago
1998
ACM
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...