2713 search results - page 142 / 543 » Parameterized Tree Systems |
115
Voted
ACL
2006
15 years 5 months ago
2006
We present the implementation of a system which extracts not only lexicalized grammars but also feature-based lexicalized grammars from Korean Sejong Treebank. We report on some p...
136
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
185
Voted
IJNSEC
2008
15 years 3 months ago
2008
In wireless networks, secure multicast protocols are more difficult to implement efficiently due to the dynamic nature of the multicast group and the scarcity of bandwidth at the ...
156
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
151
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...