3457 search results - page 82 / 692 » A Symbol Is Not a Symbol |
132
Voted
ICDAR
2011
IEEE
14 years 7 days ago
2011
IEEE
—In this paper we propose a symbol spotting technique through hashing the shape descriptors of graph paths (Hamiltonian paths). Complex graphical structures in line drawings can ...
174
click to vote
FASE
2012
Springer
13 years 8 months ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
95
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
101
click to vote
CADE
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
92
Voted
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...