10275 search results - page 354 / 2055 » Case Studies of Autonomy |
147
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We consider the line planning problem in public transportation, under a robustness perspective. We present a mechanism for robust line planning in the case of multiple li...
170
Voted
NHM
2010
15 years 1 months ago
2010
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
241
click to vote
CIDR
2011
14 years 10 months ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
147
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
169
click to vote
ISER
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents various procedures that can be used in order to numerically evaluate what the maximum Z−width that can be rendered by a mobile haptic interface will be given ...