4961 search results - page 278 / 993 » Homomorphism-Homogeneous Relational Structures |
143
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
147
click to vote
LREC
2008
15 years 5 months ago
2008
Being the client's first interface, call centres worldwide contain a huge amount of information of all kind under the form of conversational speech. If accessible, this infor...
145
click to vote
IJCAI
2001
15 years 5 months ago
2001
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
143
click to vote
CLEF
2009
Springer
15 years 5 months ago
2009
Springer
This paper investigates a novel approach to unsupervised morphology induction relying on community detection in networks. In a first step, morphological transformation rules are a...
114
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
The correct web site text content must be help to the visitors to find what they are looking for. However, the reality is quite different, many times the web page text content is a...