19130 search results - page 86 / 3826 » Modelling multi-path problems |
JSYML
2008
15 years 6 months ago
2008
Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and
175
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper restates the shape from shading problem regarding both surface modeling and optimization. We combine the use of a B-spline as 3D model for the scene surface and the use...
154
click to vote
DEXA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
154
click to vote
WG
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
162
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
In the “query-by-humming” problem, we attempt to retrieve a specific song from a target set based on a sung query. Recent evaluations of query-by-humming systems show that th...