Sciweavers

15421 search results - page 24 / 3085
» Dependability
Sort
View
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 10 days ago
Functional Dependency for Verification Reduction
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...
Jie-Hong Roland Jiang, Robert K. Brayton
DOCENG
2005
ACM
13 years 10 months ago
An environment for maintaining computation dependency in XML documents
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
LREC
2010
132views Education» more  LREC 2010»
13 years 10 months ago
Hungarian Dependency Treebank
Herein, we present the process of developing the first Hungarian Dependency TreeBank. First, short references are made to dependency grammars we considered important in the develo...
Veronika Vincze, Dóra Szauter, Attila Alm&a...
LREC
2010
135views Education» more  LREC 2010»
13 years 10 months ago
Partial Dependency Parsing for Irish
In this paper we present a partial dependency parser for Irish, in which Constraint Grammar (CG) rules are used to annotate dependency relations and grammatical functions in unres...
Elaine Uí Dhonnchadha, Josef van Genabith
EACL
2006
ACL Anthology
13 years 10 months ago
Constraints on Non-Projective Dependency Parsing
We investigate a series of graph-theoretic constraints on non-projective dependency parsing and their effect on expressivity, i.e. whether they allow naturally occurring syntactic...
Joakim Nivre