1039 search results - page 12 / 208 » The Def-inite Approach to Dependency Analysis |
CAV
2004
Springer
14 years 6 days ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
COLING
2008
13 years 10 months ago
2008
Most data-driven dependency parsing approaches assume that sentence structure is represented as trees. Although trees have several desirable properties from both computational and...
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
EPEW
2006
Springer
14 years 3 days ago
2006
Springer
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
RULEML
2010
Springer
13 years 6 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...