1151 search results - page 114 / 231 » Modelling Digital Circuits Problems with Set Constraints |
113
click to vote
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
TPLP
2008
14 years 9 months ago
2008
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Recovery of three dimensional (3D) shape and motion of non-static scenes from a monocular video sequence is important for applications like robot navigation and human computer inte...
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Image summarization is to determine a smaller but faithful representation of the original visual content. In this paper, we propose a context saliency based image summarization ap...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...