Sciweavers

Share
342 search results - page 69 / 69
» Applying Concept-Driven Engineering for Business Process Spe...
Sort
View
AAAI
2006
11 years 6 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
ENTCS
2006
176views more  ENTCS 2006»
11 years 5 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
books