3457 search results - page 9 / 692 » A Symbol Is Not a Symbol |
GREC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we propose a new approach to recognize symbols by the use of a concept lattice. We propose to build a concept lattice in terms of graphical patterns. Each m...
AISC
2010
Springer
14 years 16 days ago
2010
Springer
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...
TACAS
1998
Springer
13 years 12 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
COLING
2008
13 years 7 months ago
2008
As human beings, our mental processes for recognising linguistic symbols generate perceptual neighbourhoods around such symbols where confusion errors occur. Such neighbourhoods a...
IRI
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...