Sciweavers

14 search results - page 1 / 3
» A note on stable sets, groups, and theories with NIP
Sort
View
MLQ
2007
63views more  MLQ 2007»
13 years 4 months ago
A note on stable sets, groups, and theories with NIP
Alf Onshuus, Ya'acov Peterzil
LPNMR
2007
Springer
13 years 11 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
ISMIR
2004
Springer
119views Music» more  ISMIR 2004»
13 years 10 months ago
Creating a nested melodic representation: competition and cooperation among bottom-up and top-down Gestalt principles
A set of principles (based on Gestalt theory) governing how we group notes into meaningful groups has been widely accepted in the literature. Based on these principles, many diver...
Jane Singer
CORR
2008
Springer
141views Education» more  CORR 2008»
13 years 5 months ago
Distributed Source Coding using Abelian Group Codes
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...
Dinesh Krithivasan, S. Sandeep Pradhan
CTCS
1989
Springer
13 years 9 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002