7421 search results - page 193 / 1485 » In search of dependable design |
156
click to vote
AAAI
2006
15 years 8 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
153
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we propose and investigate an iterative code acquisition scheme assisted by both search space reduction and iterative Massage Passing (MP), which was designed for...
167
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
135
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Analysis of different combinatorial search algorithms has shown that they have a set of distinctive features in common. The paper suggests a number of reusable blocks that support ...
175
click to vote
IADIS
2008
15 years 8 months ago
2008
The goal of this work is to study the feasibility of a Heterogeneous Data Classification and Search (HDCS) system and to provide a possible design for its implementing. In order t...