Sciweavers

16844 search results - page 155 / 3369
» How to Design Programs
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
Scaling Step-Wise Refinement
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
Don S. Batory, Jacob Neal Sarvela, Axel Rauschmaye...

Publication
576views
17 years 6 months ago
Within-die Process Variations: How Accurately can They Be Statistically Modeled?
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
Brendan Hargreaves, Henrik Hult, Sherief Reda
ICCV
2003
IEEE
16 years 8 months ago
How To Deal with Point Correspondences and Tangential Velocities in the Level Set Framework
In this paper, we overcome a major drawback of the level set framework: the lack of point correspondences. We maintain explicit backward correspondences from the evolving interfac...
Jean-Philippe Pons, Gerardo Hermosillo, Renaud Ker...
CHI
2006
ACM
16 years 6 months ago
Adaptive language behavior in HCI: how expectations and beliefs about a system affect users' word choice
People display adaptive language behaviors in face-to-face conversations, but will computer users do the same during HCI? We report an experiment (N=20) demonstrating that users&#...
Jamie Pearson, Jiang Hu, Holly P. Branigan, Martin...
CHI
2003
ACM
16 years 6 months ago
You're getting warmer!: how proximity information affects search behavior in physical spaces
This paper describes the results of a Wizard of Oz study of people's search behavior using BuddySystem, a proximitysensing system designed to help end-users locate people, pl...
Leila Takayama, Lawrence Leung, Xiaodong Jiang, Ja...