11017 search results - page 1902 / 2204 » Closure Systems and their Structure |
170
Voted
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
238
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we describe an unsupervised learning framework to segment a scene into semantic regions and to build semantic scene models from longterm observations of mo...
207
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
177
click to vote
FINTAL
2006
15 years 11 months ago
2006
In this article, we are studying the differences between the European languages using statistical and unsupervised methods. The analysis is conducted in different levels of languag...
209
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...