11022 search results - page 464 / 2205 » Programming Systems for Autonomy |
227
click to vote
IANDC
2006
15 years 7 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
189
click to vote
ENTCS
2007
15 years 7 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
192
click to vote
TSMC
2008
15 years 7 months ago
2008
A constrained approximate dynamic programming (ADP) approach is presented for designing adaptive neural network (NN) controllers with closed-loop stability and performance guarante...
161
click to vote
COLING
2002
15 years 7 months ago
2002
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
201
click to vote
IEEECIT
2010
IEEE
15 years 6 months ago
2010
IEEE
—In need of interesting material and effective teaching approach in programming learning, students were ely to drop out of the course for the abstract concepts and complex struct...