12194 search results - page 166 / 2439 » cans 2010 |
192
click to vote
IRCDL
2010
15 years 2 months ago
2010
Social Network Sites can be seen as very large information repositories containing millions of text messages usually organized into complex networks involving users interacting wit...
122
click to vote
JOLLI
2010
15 years 2 months ago
2010
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
143
click to vote
ORDER
2010
15 years 2 months ago
2010
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
142
click to vote
TCS
2010
15 years 2 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
152
click to vote
WOLLIC
2010
Springer
15 years 2 months ago
2010
Springer
We provide a formalisation of the theory of pushdown automata (PDAs) using the HOL4 theorem prover. It illustrates how provers such as HOL can be used for mechanising complicated p...