10568 search results - page 1682 / 2114 » Computer Intelligence and Formalization |
136
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a new semi-automatic segmentation tool, which is motivated by the Intelligent Scissors algorithm [1], but which uses a modified concept of user-interaction. This new in...
188
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We present an efficient "sparse sampling" technique for approximating Bayes optimal decision making in reinforcement learning, addressing the well known exploration vers...
158
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Wikipedia, "the free encyclopedia", now contains over two million English articles, and is widely regarded as a highquality, authoritative encyclopedia. Some Wikipedia a...
139
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
When human guess the content of a web page, not only the text on the page but also its appearance is an important factor. However, there have been few studies on the relationship ...
270
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...