33 search results - page 5 / 7 » Reducing Equational Theories for the Decision of Static Equi... |
NECO
2007
13 years 5 months ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
DOCENG
2006
ACM
14 years 7 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
RTA
2005
Springer
13 years 11 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
TPHOL
2007
IEEE
14 years 16 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
SIAMCO
2002
13 years 6 months ago
2002
This paper deals with linear shift-invariant distributed systems. By this we mean systems described by constant coefficient linear partial differential equations. We define dissipa...