3856 search results - page 506 / 772 » Models for Automated Earthmoving |
171
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
167
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
164
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
219
click to vote
FPL
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
189
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as ï¬xpoints of the one-step provability operator or of operators that can...