17129 search results - page 364 / 3426 » Applied Computing |
148
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
166
click to vote
CRITICAL
2005
15 years 8 months ago
2005
Critical computing should include a concern for the everyday work practice of IT professionals. We explain our ‘micro-ethical view’, which shifts focus towards everyday work c...
147
click to vote
GRC
2008
IEEE
15 years 6 months ago
2008
IEEE
Research on auto-harmonizing a melody (e.g. Chinese folksong) with piano accompaniment is trying to build up a computer system which generates a 3voice music including piano left-...
177
click to vote
COMGEO
1998
ACM
15 years 6 months ago
1998
ACM
A common task in automated manufacturing processes is to orient parts prior to assembly. We consider sensorless orientation of a polygonal part by a sequence of fences. We show th...
137
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
We will describe a simulator and simulated teamwork among a number of Personal Satellite Assistants (PSA) onboard the simulated space station patrolling for problem detection and ...