1195 search results - page 42 / 239 » Modeling an Algebraic Stepper |
133
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
150
Voted
SOCO
2002
Springer
15 years 5 months ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
152
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The deterministic wireless relay network model, introduced by Avestimehr et al., has been proposed for approximating Gaussian relay networks. This model, known as the ADT network m...
154
click to vote
ISVC
2009
Springer
16 years 5 days ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
148
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...