15416 search results - page 63 / 3084 » Embeddings of Computable Structures |
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a system to browse a set of graphical documents without prior knowledge of their content. This system relies on a new structural method locating regions ...
88
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we explore experimentally the use of the commute time of the continuous-time quantum walk for graph drawing. For the classical random walk, the commute time has bee...
117
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
108
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
109
Voted
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In thi...