479 search results - page 27 / 96 » The theory and calculus of aliasing |
ADBIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
ISSAC
2005
Springer
14 years 1 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
ARGMAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
COMMA
2006
13 years 9 months ago
2006
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
KRDB
2003
13 years 9 months ago
2003
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...