11121 search results - page 1755 / 2225 » Computing with Continuous Change |
176
click to vote
WSCG
2000
15 years 8 months ago
2000
Many engineering disciplines can profitably use large high-resolution geometric models whose computational requirements exceed current computer hardware capacities. This paper pre...
183
click to vote
SLP
1994
15 years 8 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
218
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
212
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present a framework for semantic scene parsing and object recognition based on dense depth maps. Five viewindependent 3D features that vary with object class are e...
145
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
The critical spare parts (CSP) is essential to machine operation, which is also more expensive, have longer purchasing lead time and larger demand variation than non-critical spar...