Sciweavers

21319 search results - page 3672 / 4264
» An Approach for Method Reengineering
Sort
View
AUSAI
2004
Springer
15 years 11 months ago
Using Classification to Evaluate the Output of Confidence-Based Association Rule Mining
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...
Stefan Mutter, Mark Hall, Eibe Frank
CAV
2004
Springer
140views Hardware» more  CAV 2004»
15 years 11 months ago
Indexed Predicate Discovery for Unbounded System Verification
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
Shuvendu K. Lahiri, Randal E. Bryant
APWEB
2006
Springer
15 years 11 months ago
Classifying Web Data in Directory Structures
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
Sofia Stamou, Alexandros Ntoulas, Vlassis Krikos, ...
CGO
2004
IEEE
15 years 11 months ago
Optimizing Translation Out of SSA Using Renaming Constraints
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
Fabrice Rastello, François de Ferriè...
ARCS
2006
Springer
15 years 11 months ago
Estimating Energy Consumption for an MPSoC Architectural Exploration
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
Rabie Ben Atitallah, Smaïl Niar, Alain Greine...
« Prev « First page 3672 / 4264 Last » Next »