Sciweavers

5804 search results - page 248 / 1161
» Doing more with less
Sort
View
161
Voted
CIS
2004
Springer
16 years 1 days ago
A Method of Acquiring Ontology Information from Web Documents
Abstract. Ontology plays an important role on the Semantic Web. In this paper, we propose a method, AOIWD, of acquiring ontology information from Web documents. The AOIWD method em...
Lixin Han, Guihai Chen, Li Xie
GRID
2004
Springer
16 years 22 hour ago
High Performance Threaded Data Streaming for Large Scale Simulations
We have developed a threaded parallel data streaming approach using Logistical Networking (LN) to transfer multi-terabyte simulation data from computers at NERSC to our local anal...
Viraj Bhat, Scott Klasky, Scott Atchley, Micah Bec...
ICA
2004
Springer
16 years 21 hour ago
Blind Source Separation of Linear Mixtures with Singular Matrices
We consider the Blind Source Separation problem of linear mixtures with singular matrices and show that it can be solved if the sources are sufficiently sparse. More generally, we ...
Pando G. Georgiev, Fabian J. Theis
ICALP
2004
Springer
16 years 20 hour ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 12 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren