Sciweavers

10092 search results - page 109 / 2019
» Active conditional models
Sort
View
SCAM
2007
IEEE
15 years 10 months ago
On Temporal Path Conditions in Dependence Graphs
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
Andreas Lochbihler, Gregor Snelting
EUSFLAT
2003
15 years 5 months ago
Possibility relations: the hidden face of fuzzy preorders
The paper presents a new kind of fuzzy binary relations for modelling conditional possibility. The key idea is to consider fuzzy preorders as conditional necessity measures, and t...
Dionis Boixader, Lluis Godo
140
Voted
ECSQARU
2005
Springer
15 years 9 months ago
Conditional Deduction Under Uncertainty
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
Audun Jøsang, Simon Pope, Milan Daniel
157
Voted
GG
2010
Springer
15 years 5 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
EMNLP
2009
15 years 1 months ago
Sentiment Analysis of Conditional Sentences
This paper studies sentiment analysis of conditional sentences. The aim is to determine whether opinions expressed on different topics in a conditional sentence are positive, nega...
Ramanathan Narayanan, Bing Liu, Alok N. Choudhary