6719 search results - page 275 / 1344 » A Generalization of Automatic Sequences |
93
Voted
CAIP
2003
Springer
15 years 6 months ago
2003
Springer
A general framework for automatic segmentation of diatom images is presented. This segmentation is a critical first step in contour-based methods for automatic identification of ...
121
click to vote
ISSS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
121
Voted
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
As well known, in the reconstruction of the 3D models through optical systems, the errors are due to the singleview acquisition error and to the 3D modeling procedure. The latter ...
113
click to vote
ADG
2006
Springer
15 years 4 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
103
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...