4502 search results - page 704 / 901 » Regular Model Checking |
155
click to vote
AAAI
2010
15 years 7 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...
167
click to vote
ACL
2006
15 years 7 months ago
2006
We report on the development of a new automatic feedback model to improve information retrieval in digital libraries. Our hypothesis is that some particular sentences, selected ba...
137
Voted
NIPS
2001
15 years 7 months ago
2001
Visual inspection of neurons suggests that dendritic orientation may be determined both by internal constraints (e.g. membrane tension) and by external vector fields (e.g. neurotr...
156
click to vote
AAAI
2000
15 years 7 months ago
2000
We introduce the notion of restricted Bayes optimal classifiers. These classifiers attempt to combine the flexibility of the generative approach to classification with the high ac...
162
click to vote
IJES
2008
15 years 6 months ago
2008
Reconfigurable ALU Array (RAA) architectures--representing a popular class of Coarse-grained Reconfigurable Architectures--are gaining in popularity especially for media applicati...