10568 search results - page 471 / 2114 » Computer Intelligence and Formalization |
132
click to vote
IVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
137
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents a new efficient multiobjective evolutionary algorithm for solving computationallyintensive optimization problems. To support a high degree of parall...
160
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
155
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
168
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...