home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / ai / 3386 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.3 KB
  1. Path: sparky!uunet!mcsun!corton!tls-cs!adele
  2. From: adele@tls-cs.cert.fr (Martin Adelantado)
  3. Newsgroups: comp.ai
  4. Subject: Anytime algorithms
  5. Message-ID: <751@tls-cs.cert.fr>
  6. Date: 9 Sep 92 10:20:16 GMT
  7. Sender: news@tls-cs.cert.fr
  8. Organization: CERT Toulouse Dept of Computer Science, FRANCE
  9. Lines: 29
  10.  
  11.  
  12.      We are investigating execution models for intelligent
  13. real time systems. These models are based on a mixed
  14. synchronous/asynchronous programming approach involving a 
  15. Synchronous expression (ESTEREL, LUSTRE) of critical real time
  16. parts (reactive parts), and an Asynchronous expression of
  17. reasoning parts.
  18.  
  19.      Expression of reasoning parts involves :
  20.  
  21.        -> ANYTIME reasoning algorithms that can produce partial
  22.           or reduced-quality output when their execution is
  23.           terminated before some complete solution is produced,
  24.  
  25.        -> APPROXIMATE processing solvers that will adaptively
  26.           generate the most acceptable solutions which meet 
  27.           deadlines.
  28.  
  29.     In this context, I should be grateful for information or
  30. references to papers relating to these two subjects, ANYTIME
  31. reasoning and APPROXIMATE processing.
  32.  
  33.     Please email to adele@tls-cs.cert.fr
  34.  
  35. Thanks in advance,
  36.  
  37.               Martin ADELANTADO
  38.               ONERA-CERT/DERI
  39.               TOULOUSE (FRANCE)
  40.