3690 search results - page 351 / 738 » Computation with classical sequents |
150
click to vote
NORDICHI
2004
ACM
16 years 7 days ago
2004
ACM
We describe a rhythmic interaction mechanism for mobile devices. A PocketPC with a three degree of freedom linear acceleration meter is used as the experimental platform for data ...
183
click to vote
CIVR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we present an approach for the retrieval of natural scenes based on a semantic modeling step. Semantic modeling stands for the classification of local image regions...
156
Voted
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
184
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
173
click to vote
ICIAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a method for automatic segmentation of grey-scale images, based on a recently introduced deformable model, the charged-particle model (CPM). The model is inspi...