5066 search results - page 415 / 1014 » Spectra of structures and relations |
187
click to vote
LFCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
181
Voted
MFCS
2007
Springer
16 years 26 days ago
2007
Springer
We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by me...
187
Voted
MICAI
2007
Springer
16 years 26 days ago
2007
Springer
Computer-generated texts are yet far from human-generated ones. Along with the limited use of vocabulary and syntactic structures sent, their lack of creativeness and abstraction i...
192
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
179
Voted
WIRI
2005
IEEE
16 years 9 days ago
2005
IEEE
Recently, web mining that tries to find useful knowledge from the vast amount of web pages has attracted a lot of research interests. Besides, it is becoming an essential task to...