Sciweavers

13026 search results - page 2328 / 2606
» Probabilistic Relational Models
Sort
View
PACS
2000
Springer
99views Hardware» more  PACS 2000»
15 years 8 months ago
Dynamically Reconfiguring Processor Resources to Reduce Power Consumption in High-Performance Processors
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
Roberto Maro, Yu Bai, R. Iris Bahar
WEBDB
2000
Springer
136views Database» more  WEBDB 2000»
15 years 8 months ago
An Optimization Technique for Answering Regular Path Queries
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
Gösta Grahne, Alex Thomo
EPIA
1995
Springer
15 years 8 months ago
Arguments and Defeat in Argument-Based Nonmonotonic Reasoning
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
Bart Verheij
ZUM
2000
Springer
15 years 8 months ago
Retrenchment, Refinement, and Simulation
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
Richard Banach, Michael Poppleton
149
Voted
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
15 years 8 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
« Prev « First page 2328 / 2606 Last » Next »