2291 search results - page 277 / 459 » Representational Reasoning and Verification |
154
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
138
click to vote
CAI
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
149
click to vote
JFP
2002
15 years 4 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
132
Voted
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
148
click to vote
IJWET
2008
15 years 3 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...