6381 search results - page 223 / 1277 » Alternative Implementation of the C |
202
click to vote
AI
2000
Springer
15 years 11 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...
167
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
127
Voted
EUSFLAT
2007
15 years 8 months ago
2007
This paper introduces a new approach to adjust a class of neurofuzzy networks based on the idea of participatory learning. Participatory learning is a mean to learn and revise bel...
151
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
179
click to vote
APAL
2007
15 years 7 months ago
2007
We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframe...