4961 search results - page 318 / 993 » Homomorphism-Homogeneous Relational Structures |
145
click to vote
MICAI
2007
Springer
15 years 10 months 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...
144
click to vote
PPDP
2007
Springer
15 years 10 months 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...
146
click to vote
WIRI
2005
IEEE
15 years 10 months 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...
127
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
We present an efficient distributed data structure, called the D-SPANNER, for maintaining proximity information among communicating mobile nodes. The D-SPANNER is a kinetic sparse...
151
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
Traditional stereo algorithms either explicitly use the frontal parallel plane assumption by only considering position (zero-order) disparity when computing similarity measures of ...