4166 search results - page 691 / 834 » Automating the constraining process |
197
click to vote
TIME
2006
IEEE
16 years 13 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
173
click to vote
ADMA
2006
Springer
16 years 13 days ago
2006
Springer
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
211
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
157
click to vote
ACMICEC
2006
ACM
16 years 12 days ago
2006
ACM
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...
136
click to vote
ASPDAC
2006
ACM
16 years 12 days ago
2006
ACM
Abstract— The amount of energy consumed for interconnecting the IP-blocks is increasing significantly due to the suboptimal scaling of long wires. To limit this energy penalty, ...