Sciweavers

728 search results - page 113 / 146
» Efficient Searching with Linear Constraints
Sort
View
ICTAI
1997
IEEE
15 years 3 months ago
Prime Implicant Computation Using Satisfiability Algorithms
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
Vasco M. Manquinho, Paulo F. Flores, João P...
VMV
2001
132views Visualization» more  VMV 2001»
15 years 1 months ago
Optimal Memory Constrained Isosurface Extraction
Efficient isosurface extraction from large volume data sets requires special algorithms and data structures. Such algorithms typically either use a hierarchical spatial subdivisio...
Dietmar Saupe, Jürgen Toelke
VLSID
2008
IEEE
133views VLSI» more  VLSID 2008»
16 years 6 days ago
Exhaustive Enumeration of Legal Custom Instructions for Extensible Processors
Today's customizable processors allow the designer to augment the base processor with custom accelerators. By choosing appropriate set of accelerators, designer can significa...
Nagaraju Pothineni, Anshul Kumar, Kolin Paul
ICPADS
2007
IEEE
15 years 6 months ago
Optimization on distributed user management in Wireless Sensor Networks
In this paper, we address one of the Wireless Sensor Network (WSN) management problems – optimization on the execution of multiple commands. The objective of the paper is to pro...
MingJian Tang, Jinli Cao
CORR
2010
Springer
126views Education» more  CORR 2010»
14 years 12 months ago
RDFViewS: A Storage Tuning Wizard for RDF Applications
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
François Goasdoué, Konstantinos Kara...