1650 search results - page 198 / 330 » The HOM problem is decidable |
130
Voted
GD
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we explore a new convention for drawing graphs, the (Manhattan-) geodesic drawing convention. It requires that edges are drawn as interior-disjoint monotone chains o...
159
click to vote
PAKDD
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Detecting abnormal event from video sequences is an important problem in computer vision and pattern recognition and a large number of algorithms have been devised to tac...
120
Voted
ISAAC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Graphical features on map, charts, diagrams and graph drawings usually must be annotated with text labels in order to convey their meaning. In this paper we focus on a pr...
124
Voted
SHAPE
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We propose a general method for finding pointwise correspondence between 2-D shapes based on the concept of order structure and using geometric hashing. The problem of ...
167
click to vote
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...