Sciweavers

2356 search results - page 234 / 472
» Characterizations of postman sets
Sort
View
AAAI
1998
15 years 8 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis
WSC
1997
15 years 8 months ago
The VisSim/Discrete Event Modeling Environment
VisSim/Discrete Event is a process-oriented, discrete event modeling toolkit based on the powerful and proven graphical interface provided by the underlying VisSim simulation envi...
Herbert D. Schwetman, Arun Mulpur
ACL
1996
15 years 8 months ago
Using Textual Clues to Improve Metaphor Processing
In this paper, we propose a textual clue approach to help metaphor detection, in order to improve the semantic processing of this figure. The previous works in the domain studied ...
Stéphane Ferrari
UAI
1994
15 years 8 months ago
A New Look at Causal Independence
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
David Heckerman, John S. Breese
SLP
1989
87views more  SLP 1989»
15 years 7 months ago
Partial Evaluation in Prolog: Some Improvements about Cut
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
Michele Bugliesi, F. Russo