1446 search results - page 166 / 290 » Testing for Concise Representations |
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
ICCSA
2003
Springer
14 years 3 months ago
2003
Springer
The aim of this paper is to develop a mathematical model with the ability to predict particle degradation during dilute phase pneumatic conveying. A numerical procedure, based on a...
ICVS
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model with the characters involved in the scenario, with its sub-scenario...
ICTAI
2002
IEEE
14 years 3 months ago
2002
IEEE
The relevance of a web document could be measured not only by its text content, but also by some other factors such as the link connectivity, the usage pattern. In previous data f...
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...