1034 search results - page 77 / 207 » Inference of field initialization |
117
click to vote
TASE
2008
IEEE
15 years 2 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...
127
Voted
CHI
2011
ACM
14 years 6 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...
96
Voted
MICCAI
2006
Springer
16 years 3 months 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 3 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...
116
Voted
IJCV
2006
15 years 2 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...