1034 search results - page 77 / 207 » Inference of field initialization |
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
CHI
2011
ACM
14 years 3 months ago
2011
ACM
We present GreenHat, an interactive mobile learning application that helps students learn about biodiversity and sustainability issues in their surroundings from experts’ points...
MICCAI
2006
Springer
16 years 25 days ago
2006
Springer
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...
BCSHCI
2009
15 years 1 months ago
2009
We describe the process of developing worth maps from field research and initial design sketches for a digital Family Archive, which resulted in a more simple and flexible worth m...
IJCV
2006
14 years 12 months ago
2006
In this paper a method for fitting open surfaces to data obtained from images is presented using a level set representation of the surface. This is done by tracking a curve, repres...