3928 search results - page 80 / 786 » order 2006 |
101
Voted
RSA
1998
15 years 3 months ago
1998
Let Un,p be the random unary predicate and Tk the almost sure first-order theory of Un,p under the linear ordering, where k is a positive integer and n−1/k p(n) n−1/(k+1) . F...
131
Voted
JOLLI
2010
15 years 2 months ago
2010
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
109
click to vote
JUCS
2010
15 years 2 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
144
click to vote
FMSD
2002
15 years 3 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
141
click to vote
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...