Sciweavers

15660 search results - page 78 / 3132
» The Unbalance of Set Systems
Sort
View
CW
2003
IEEE
15 years 11 months ago
Mesh Generation and Refinement of Polygonal Data Sets
This paper presents work in progress and continues a project devoted to developing shape modeling system based on implementation of radial based function (RBF) technology. In this...
Vladimir V. Savchenko, Irina B. Semenova, Nikita K...
DELTA
2002
IEEE
15 years 11 months ago
Minimization and Partitioning Method Reducing Input Sets
The article describes a new Boolean minimization and single-level partitioning method based on the BOOM minimization system [6]. The minimization is performed with respect to the ...
Jan Hlavicka, Petr Fiser
ESWS
2008
Springer
15 years 8 months ago
Exploring the Knowledge in Semi Structured Data Sets with Rich Queries
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...
Jürgen Umbrich, Sebastian Blohm
JSAT
2006
87views more  JSAT 2006»
15 years 6 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
IEEEHPCS
2010
15 years 4 months ago
Scalable instruction set simulator for thousand-core architectures running on GPGPUs
Simulators are still the primary tools for development and performance evaluation of applications running on massively parallel architectures. However, current virtual platforms a...
Shivani Raghav, Martino Ruggiero, David Atienza, C...