1135 search results - page 57 / 227 » Interactive Problem Solving via Algorithm Visualization |
CADE
2001
Springer
16 years 2 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
104
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Variational problems, which are commonly used to solve lowlevel vision tasks, are typically minimized via a local, iterative optimization strategy, e.g. gradient descent....
122
click to vote
KR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
126
click to vote
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
We propose in this paper an interactive segmentation algorithm based on curve evolution techniques. The task of automated segmentation has proven to be highly complex and applicat...
115
click to vote
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
Conditional Random Fields (CRFs; Lafferty, McCallum, & Pereira, 2001) provide a flexible and powerful model for learning to assign labels to elements of sequences in such appl...