7623 search results - page 366 / 1525 » Constructive Volume Modeling |
159
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
173
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the...
167
click to vote
COLING
2008
15 years 8 months ago
2008
This paper presents a probabilistic model for Japanese zero anaphora resolution. First, this model recognizes discourse entities and links all mentions to them. Zero pronouns are ...
180
click to vote
IJCAI
2007
15 years 8 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
145
click to vote
NIPS
2000
15 years 8 months ago
2000
We develop an approach for a sparse representation for Gaussian Process (GP) models in order to overcome the limitations of GPs caused by large data sets. The method is based on a...