167 search results - page 4 / 34 » Contexts in Dynamic Predicate Logic |
97
Voted
LREC
2010
15 years 2 months ago
2010
This paper presents a word sense disambiguation (WSD) approach based on syntactic and logical representations. The objective here is to run a number of experiments to compare stan...
115
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
93
Voted
IPL
2006
15 years 15 days ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
100
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...