3690 search results - page 114 / 738 » Computation with classical sequents |
ICIP
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we focus on scene classification and detection of high-level concepts within multimedia documents, by introducing an intermediate contextual approach as a means of ...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
—The paper extends the classical Ant Systems by considering non-uniform deposition by the ants, while constructing pheromone trails. A deterministic solution to the ant system dy...
ISVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper proposes a new texture classification system, which is distinguished by: (1) a new rotation-invariant image descriptor based on Steerable Pyramid Decompositio...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
A discriminant-based framework for automatic recognition of online handwriting data is presented in this paper. We identify the substrokes that are more useful in discriminating b...
108
click to vote
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...