19798 search results - page 436 / 3960 » Is Structural Subtyping Useful |
136
click to vote
EJC
2003
15 years 5 months ago
2003
We describe here our ongoing research on modeling conceptual and narrative structure of fairytales by a computer system. In this paper we focus on the variations of fairytales base...
121
Voted
NIPS
2004
15 years 5 months ago
2004
X-ray crystallography is currently the most common way protein structures are elucidated. One of the most time-consuming steps in the crystallographic process is interpretation of...
145
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
123
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
130
Voted
CAS
2008
15 years 4 months ago
2008
In this paper we first present a novel approach to determine the structural information content (graph entropy) of a network represented by an undirected and connected graph. Such...