1451 search results - page 48 / 291 » Case Studies in Model Manipulation for Scientific Computing |
178
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
tion Abstract ChengXiang Zhai (Advisor: John Lafferty) Language Technologies Institute School of Computer Science Carnegie Mellon University With the dramatic increase in online in...
131
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
143
click to vote
ICCBR
2009
Springer
15 years 1 months ago
2009
Springer
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...
130
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
119
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...