Sciweavers

713 search results - page 104 / 143
» Reasoning with Projected Contours
Sort
View
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
14 years 2 months ago
Structuring a Wayfinder's Dynamic Space-Time Environment
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 2 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ICCSA
2003
Springer
14 years 2 months ago
A Probabilistic Model for Predicting Software Development Effort
—Recently, Bayesian probabilistic models have been used for predicting software development effort. One of the reasons for the interest in the use of Bayesian probabilistic model...
Parag C. Pendharkar, Girish H. Subramanian, James ...
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
14 years 1 months ago
Experiences of Using a Public Key Infrastructure to Access Patient Confidential Data over the Internet
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
David W. Chadwick, Carmen Carroll, S. Harvey, John...
CHI
2009
ACM
14 years 1 months ago
Getting inspired!: understanding how and why examples are used in creative design practice
The use of examples serves a critical role in creative design practice, but details of this process remain an enigma. This is problematic for both the understanding of design acti...
Scarlett R. Herring, Chia-Chen Chang, Jesse Krantz...