10568 search results - page 467 / 2114 » Computer Intelligence and Formalization |
146
Voted
ICTAI
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
104
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- On marginal winter nights, highway authorities face a difficult decision as to whether or not to salt the road network. The consequences of making a wrong decision are s...
164
click to vote
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
148
Voted
GLOBAL
2003
Springer
15 years 10 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...
158
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...