18716 search results - page 93 / 3744 » Automatic |
184
click to vote
CPE
1994
Springer
15 years 8 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
121
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
170
click to vote
3DPVT
2004
IEEE
15 years 7 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 ...
140
click to vote
ADG
2006
Springer
15 years 7 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...
138
Voted
CAV
2004
Springer
15 years 7 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 ...