1087 search results - page 38 / 218 » Eta-Redexes in Partial Evaluation |
STTT
2010
13 years 8 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
AUTOMOTIVEUI
2009
ACM
14 years 4 months ago
2009
ACM
We present a case study concerning the development of a driving simulator at Mitsubishi Electric Research Laboratories. By relying largely on off-the-shelf components, we have kep...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
WINET
2010
13 years 4 months ago
2010
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor net...
SETN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...