270 search results - page 30 / 54 » The Automated Text Adaptation Tool |
DAC
1999
ACM
15 years 10 months ago
1999
ACM
A 550MHz 64b PowerPC processor was developed for fabrication in Silicon-On-Insulator (SOI) technology from a processor previously designed and fabricated in bulk CMOS [1]. Both th...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
SPLC
2010
14 years 11 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...