10916 search results - page 1880 / 2184 » On Constructive Connectives and Systems |
141
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
153
click to vote
SKG
2006
IEEE
16 years 22 days ago
2006
IEEE
Data Grid is one of the important research subjects in the field of Grid Computing. To get a high efficiency of the system, this paper proposes a set of novel multicast algorithms...
196
click to vote
WISE
2006
Springer
16 years 22 days ago
2006
Springer
Filtering queries are widely used in data stream applications. As more and more filtering queries are registered in high-speed data stream management system, the processing efficie...
181
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
170
click to vote
ACMICEC
2006
ACM
16 years 21 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 ...