57 search results - page 5 / 12 » A Decision Procedure for Bisimilarity of Generalized Regular... |
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
AOSD
2011
ACM
13 years 2 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
WSC
1997
13 years 8 months ago
1997
The problem of selecting the best system from a finite set of alternatives is considered from a Bayesian decision-theoretic perspective. The framework presented is quite general,...
MIE
2008
13 years 9 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...