4482 search results - page 728 / 897 » The Crowdsourcing Design Space |
APCHI
2004
IEEE
14 years 27 days ago
2004
IEEE
An earlier paper has covered the development of a paper prototype of NetWorker, a tool designed to facilitate a Web usage referred to as the Collect-Compare-Choose cycle. Here we d...
ATVA
2004
Springer
14 years 27 days ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
APWEB
2006
Springer
14 years 27 days ago
2006
Springer
In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficien...
DAC
2004
ACM
14 years 27 days ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
DATE
2004
IEEE
14 years 26 days ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...