2492 search results - page 300 / 499 » An Integrated Rule Modeling Framework |
165
click to vote
JURIX
2007
15 years 8 months ago
2007
In this paper, we model a recent legal case as presented in a court of first instance using argument schemes and an argumentation framework, providing a formal analysis of the cas...
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
181
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
168
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we propose a class of incentive schemes based on intervention. We develop a general game-theoretic framework for the design of intervention schemes under imperfect m...
193
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a new variational level-set-based segmentation
formulation that uses both shape and intensity prior information
learned from a training set. By applying Bayes’
rule...