923 search results - page 36 / 185 » The Computational Structure of Progress Conditions |
201
click to vote
CALCO
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
169
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Bayesian estimation in nonlinear stochastic dynamical systems has been addressed for a long time. Among other solutions, Particle Filtering (PF) algorithms propagate in time a Mon...
169
click to vote
GG
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...
153
click to vote
TSP
2008
15 years 7 months ago
2008
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...
320
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We study the problem of efficiently computing diverse query results in online shopping applications, where users specify queries through a form interface that allows a mix of stru...