2989 search results - page 31 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
175
click to vote
SAC
2010
ACM
16 years 25 days ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
148
click to vote
ICIAR
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. In this paper we present a novel single-frame image zooming technique based on so-called “self-examples”. Our method combines the ideas of fractal-based image zooming...
160
click to vote
EOR
2007
15 years 6 months ago
2007
act 12 This paper describes a new placement method based on pattern matching for 2D tiling problems. Tiling problem can be 13 considered as a special case of bin packing. In the pr...
136
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
138
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...