2703 search results - page 375 / 541 » Working Class Hero |
161
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
183
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
184
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the dat...
172
click to vote
ITC
1995
IEEE
15 years 10 months ago
1995
IEEE
A nalog circuit implementations of fuzzy logic are characterized by performing logical connectives of analog signals. They can be considered as generalization of digital circuits ...
188
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...