Sciweavers

2944 search results - page 493 / 589
» On Well Quasi-orders on Languages
Sort
View
ACS
2008
13 years 9 months ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 9 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
CORR
2010
Springer
168views Education» more  CORR 2010»
13 years 9 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 9 months ago
Separability in the Ambient Logic
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
DEBU
2010
135views more  DEBU 2010»
13 years 9 months ago
Enhancing Search with Structure
Keyword search has traditionally focussed on retrieving documents in ranked order, given simple keyword queries. Similarly, work on keyword queries on structured data has focussed...
Soumen Chakrabarti, Sunita Sarawagi, S. Sudarshan