123 search results - page 11 / 25 » On the Construction of Sorted Reactive Systems |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Expert systems, decision support systems, and knowledge management systems, are computer-based constructs intended to somehow assist human users in making decisions. Directive dec...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
EPIA
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
IJCAI
2001
13 years 8 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...