4287 search results - page 135 / 858 » Minimal Mental Models |
105
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
151
Voted
PATMOS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
103
click to vote
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
95
Voted
APAL
2000
15 years 19 days ago
2000
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
112
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
In this paper, a new image-matching mathematical model is presented for the mammogram registration. In a variational framework, an energy minimization problem is formulated and a m...