Sciweavers

1943 search results - page 165 / 389
» Ordering Default Theories
Sort
View
210
Voted
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 7 months ago
Group representation design of digital signals and sequences
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...
Shamgar Gurevich, Ronny Hadani, Nir A. Sochen
DM
2010
107views more  DM 2010»
15 years 7 months ago
An analytic approach to stability
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, sta...
Oleg Pikhurko
AMAI
2006
Springer
15 years 7 months ago
Computational methods for database repair by signed formulae
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
ENTCS
2007
104views more  ENTCS 2007»
15 years 7 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski
MSS
2008
IEEE
72views Hardware» more  MSS 2008»
15 years 7 months ago
Measurable systems and behavioral sciences
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...
V. I. Danilov, Ariane Lambert-Mogiliansky