Sciweavers

19798 search results - page 314 / 3960
» Is Structural Subtyping Useful
Sort
View
MST
2011
207views Hardware» more  MST 2011»
14 years 10 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
IWCMC
2009
ACM
15 years 9 months ago
Using link-layer broadcast to improve scalable source routing
Scalable source routing (SSR) is a network layer routing protocol that provides services that are similar to those of structured peer-to-peer overlays. In this paper, we describe ...
Pengfei Di, Thomas Fuhrmann
LREC
2010
195views Education» more  LREC 2010»
15 years 4 months ago
Integration of Linguistic Markup into Semantic Models of Folk Narratives: The Fairy Tale Use Case
Propp's influential structural analysis of fairy tales created a powerful schema for representing storylines in terms of character functions, which is directly exploitable fo...
Piroska Lendvai, Thierry Declerck, Sándor D...
ACL
2001
15 years 4 months ago
Word Order in German: A Formal Dependency Grammar Using a Topological Hierarchy
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...
Kim Gerdes, Sylvain Kahane
105
Voted
ISSAC
2007
Springer
132views Mathematics» more  ISSAC 2007»
15 years 9 months ago
Structured matrix methods for polynomial root-finding
In this paper we discuss the use of structured matrix methods for the numerical approximation of the zeros of a univariate polynomial. In particular, it is shown that root-findin...
Luca Gemignani