3444 search results - page 610 / 689 » A Theory of Object-Oriented Design |
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
SMA
2003
ACM
14 years 2 months ago
2003
ACM
Surface reconstruction from unorganized sample points is an important problem in computer graphics, computer aided design, medical imaging and solid modeling. Recently a few algor...
SMA
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a novel Scalar-field based Free-Form Deformation (SFFD) technique founded upon general flow constraints and implicit functions. In contrast to the traditiona...
WSNA
2003
ACM
14 years 2 months ago
2003
ACM
Sensor networks are deployed to monitor the surroundings and keep the end-user informed about the events witnessed. Different types of events have different levels of importance f...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Endowing agents with “social rationality” [10, 12, 11] can aid overall efficiency in tasks where cooperation is beneficial to system level performance. However it is difficult...