Sciweavers

2446 search results - page 31 / 490
» Characterizing the Performance of
Sort
View
APIN
2008
100views more  APIN 2008»
13 years 10 months ago
A case-based approach for characterization and analysis of subgroup patterns
In general, cases capture knowledge and concrete experiences of specific situations. By exploiting case-based knowledge for characterizing a subgroup pattern, additional informati...
Martin Atzmüller, Frank Puppe
CSCLP
2004
Springer
14 years 3 months ago
Characterization of a New Restart Strategy for Randomized Backtrack Search
We propose an improved restart strategy for randomized backtrack search, and evaluate its performance by comparing to other heuristic and stochastic search techniques for solving r...
Venkata Praveen Guddeti, Berthe Y. Choueiry
CADE
2006
Springer
14 years 10 months ago
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
ICCD
2008
IEEE
121views Hardware» more  ICCD 2008»
14 years 7 months ago
Characterization and design of sequential circuit elements to combat soft error
- This paper performs analysis and design of latches and flip-flops while considering the effect of event upsets caused by energetic particle hits. First it is shown that the conve...
Hamed Abrishami, Safar Hatami, Massoud Pedram
FASE
2007
Springer
14 years 4 months ago
Dynamic Characterization of Web Application Interfaces
Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...
Marc Fisher II, Sebastian G. Elbaum, Gregg Rotherm...