1040 search results - page 140 / 208 » Tools for modeling and solving search problems |
124
click to vote
ENTCS
2002
15 years 11 days ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
98
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
CGF
2008
15 years 20 days ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
116
click to vote
BMCBI
2006
15 years 19 days ago
2006
Background: Expression microarray analysis is one of the most popular molecular diagnostic techniques in the post-genomic era. However, this technique faces the fundamental proble...
107
click to vote
MMM
2006
Springer
15 years 6 months ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...