Sciweavers

2343 search results - page 33 / 469
» Structure and Interpretation of Computer Programs
Sort
View
ECOOP
2001
Springer
15 years 7 months ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...
WWW
2001
ACM
16 years 3 months ago
XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
Norio Toyama, Yasuyuki Hirakawa, Takashi Hattori, ...
ISER
2004
Springer
142views Robotics» more  ISER 2004»
15 years 7 months ago
Interactive Multi-Modal Robot Programming
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
Soshi Iba, Christiaan J. J. Paredis, Pradeep K. Kh...
125
Voted
APLAS
2007
ACM
15 years 6 months ago
Finally Tagless, Partially Evaluated
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
INCDM
2009
Springer
131views Data Mining» more  INCDM 2009»
15 years 9 months ago
Computer-Aided Diagnosis in Brain Computed Tomography Screening
Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided dia...
Hugo Peixoto, Victor Alves