3457 search results - page 83 / 692 » A Symbol Is Not a Symbol |
119
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
125
Voted
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
123
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose an efficient method to recognize multi-stroke handwritten symbols. The method is based on computing the truncated Legendre-Sobolev expansions of the coordinate functio...
132
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider the design of a network in which packet transmissions between two nodes are to be guaranteed a certain probability of success. There are N independent paths between ...
127
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...