11808 search results - page 364 / 2362 » Isometries and Computability Structures |
216
click to vote
TIME
2003
IEEE
15 years 12 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
178
click to vote
IDEAL
2003
Springer
15 years 12 months ago
2003
Springer
Mining frequent patterns has been a topic of active research because it is computationally the most expensive step in association rule discovery. In this paper, we discuss the use ...
186
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Unbiased and consistent estimates of structure and motion can be obtained by least squares minimization of the differential epipolar constraint. Previous work on this subject does...
150
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
192
Voted
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...