Sciweavers

2482 search results - page 411 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
UIST
2005
ACM
14 years 1 months ago
Artistic resizing: a technique for rich scale-sensitive vector graphics
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
Pierre Dragicevic, Stéphane Chatty, David T...
MKM
2005
Springer
14 years 1 months ago
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
David Aspinall, Christoph Lüth, Burkhart Wolf...
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
14 years 1 months ago
Project JXTA-C: Enabling a Web of Things
The Web, the collection of all devices connected to the Internet, is on the verge of experiencing a massive evolution from a Web of Computers to a Web of Things as new devices suc...
Bernard Traversat, Mohamed Abdelaziz, Dave Doolin,...
ISMAR
2003
IEEE
14 years 1 months ago
DART: The Designer's Augmented Reality Toolkit
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
Blair MacIntyre, Maribeth Gandy, Jay David Bolter,...
IPPS
1999
IEEE
14 years 13 days ago
High Performance Computing for the Masses
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...
Mark J. Clement, Quinn Snell, Glenn Judd