4835 search results - page 523 / 967 » Intelligent Selection Tools |
193
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
159
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
Authorship entails the constrained selection or generation of media and the organization and layout of that media in a larger structure. But authorship is more than just selection...
196
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
217
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
215
click to vote
HPDC
1997
IEEE
15 years 10 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...