102291 search results - page 19834 / 20459 » Computing |
147
click to vote
IWDC
2001
Springer
15 years 9 months ago
2001
Springer
Mobile Internet access is becoming extremely popular because users depend on the Internet for many activities in their daily routine. Satellites are well suited for mobile Interne...
161
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
146
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
172
click to vote
MICCAI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we introduce the concept of statistical deformation models (SDM) which allow the construction of average models of the anatomy and their variability. SDMs a...
154
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...