1237 search results - page 124 / 248 » Strictness and Totality Analysis |
155
click to vote
SSIAI
2000
IEEE
15 years 10 months ago
2000
IEEE
For each patient receiving definitive treatment for cervix cancer, several CT/MR imaging studies need to be registered in order to specify the total physical or biological dose t...
181
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper describes a procedure for minimizing the power consumption in a boolean network under the zero delay model. Power is minimized by modifying the function of each interme...
140
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
161
click to vote
IWEC
2010
15 years 7 months ago
2010
In this paper we present a detailed analysis of World of Warcraft virtual team collaboration. A number of competitive synchronous virtual teams were investigated in-situ and unobtr...
180
click to vote
BMVC
1998
15 years 7 months ago
1998
A method of extracting, classifying and modelling non-rigid shapes from an image sequence is presented. Shapes are approximated by polygons where the number of sides is related to...