472 search results - page 4 / 95 » Evolution and Reactivity for the Web |
DALT
2009
Springer
15 years 26 days ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
ITPRO
2010
14 years 8 months ago
2010
CCE
2011
14 years 4 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...
DOCENG
2004
ACM
15 years 2 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
FM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...