Sciweavers

1547 search results - page 93 / 310
» Randomized Variable Elimination
Sort
View
CIE
2009
Springer
15 years 10 months ago
Decidability of Sub-theories of Polynomials over a Finite Field
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
Alla Sirokofskich
ECSQARU
2007
Springer
15 years 9 months ago
Algebraic Structures for Bipolar Constraint-Based Reasoning
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
Hélène Fargier, Nic Wilson
ICCAD
1996
IEEE
123views Hardware» more  ICCAD 1996»
15 years 7 months ago
Efficient solution of systems of Boolean equations
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
Scott Woods, Giorgio Casinovi
117
Voted
FLAIRS
2006
15 years 4 months ago
Model Construction Algorithms for Object-Oriented Probabilistic Relational Models
This paper presents three new algorithms for the automatic construction of models from Object Oriented Probabilistic RelationalModels. The first two algorithms are based on the kn...
Catherine Howard, Markus Stumptner
TSP
2008
67views more  TSP 2008»
15 years 3 months ago
Kinematics of Complex-Valued Time Series
The contribution to a stationary complex-valued time series at a single frequency magnitude takes the form of a random ellipse, and its properties such as aspect ratio (which inclu...
Patrick Rubin-Delanchy, Andrew T. Walden