324 search results - page 37 / 65 » Reducing Expression Size Using Rule-Based Integration |
BDA
2001
13 years 9 months ago
2001
A Community Web portal is a set of tools for a community of people who want to share information on a certain domain via the Web. The backbone of this system is an ontology which ...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
Main memory has become one of the largest contributors to overall energy consumption and offers many opportunities for power/energy reduction. In this paper, we propose a PowerAw...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
APVIS
2008
13 years 9 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...