4880 search results - page 798 / 976 » Manuals as Structured Programs |
263
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
195
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
170
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...
278
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
300
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...