Sciweavers

4480 search results - page 156 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
ISMAR
2009
IEEE
16 years 1 months ago
Evaluating the benefits of augmented reality for task localization in maintenance of an armored personnel carrier turret
We present the design, implementation, and user testing of a prototype augmented reality application to support military mechanics conducting routine maintenance tasks inside an a...
Steven J. Henderson, Steven Feiner

Book
296views
17 years 4 months ago
Implementing Functional Languages: a tutorial
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
Simon Peyton Jones, David Lester
WLP
2005
Springer
15 years 12 months ago
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...
Marco Alberti, Federico Chesani, Alessio Guerri, M...
DAC
1995
ACM
15 years 10 months ago
Rephasing: A Transformation Technique for the Manipulation of Timing Constraints
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
Miodrag Potkonjak, Mani B. Srivastava
ESCIENCE
2005
IEEE
16 years 2 hour ago
The Challenge of Volunteer Computing with Lengthy Climate Model Simulations
This paper describes the issues confronted by the climateprediction.net project in creating a volunteer computing project using a large legacy climate model application. This appl...
Carl Christensen, Tolu Aina, Dave Stainforth