Sciweavers

13553 search results - page 429 / 2711
» A Generalized Multi-View Approach
Sort
View
ROBVIS
2001
Springer
151views Robotics» more  ROBVIS 2001»
15 years 11 months ago
HORUS: Object Orientation and Id without Additional Markers
This paper describes a novel approach to detecting orientation and identity of robots using a global vision system. Instead of additional markers, the original shape of the robot ...
Jacky Baltes
CSFW
1997
IEEE
15 years 11 months ago
Verifying authentication protocols with CSP
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
Steve Schneider
DAGM
1995
Springer
15 years 10 months ago
Primary Image Segmentation
: This paper introduces the notion of primary image segmentation which serves as a well defined link between low- and high-level image analysis. A general algorithmic framework bas...
Ullrich Köthe
POPL
1991
ACM
15 years 10 months ago
Polymorphic Type Inference and Assignment
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
Xavier Leroy, Pierre Weis
CIKM
2008
Springer
15 years 9 months ago
Using tag semantic network for keyphrase extraction in blogs
Folksonomies provide a comfortable way to search and browse the blogosphere. As the tags in the blogosphere are sparse, ambiguous and too general, this paper proposes both a super...
Lizhen Qu, Christof Müller, Iryna Gurevych