3591 search results - page 42 / 719 » Typing linear constraints |
ISCAS
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
CP
2009
Springer
14 years 11 months ago
2009
Springer
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...
CVPR
2008
IEEE
15 years 23 days ago
2008
IEEE
We propose a novel global pose estimation method to detect body parts of articulated objects in images based on non-tree graph models. There are two kinds of edges defined in the ...
GMP
2006
IEEE
14 years 4 months ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
IJCAI
2003
14 years 4 days ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...