2509 search results - page 111 / 502 » Abstract Geometrical Computation and Computable Analysis |
94
Voted
COMGEO
1999
ACM
15 years 13 days ago
1999
ACM
Many algorithms for reducing the number of triangles in a surface model have been proposed, but to date there has been little theoretical analysis of the approximations they produ...
137
click to vote
ICIP
1997
IEEE
16 years 2 months ago
1997
IEEE
This paper describes an approach to the extraction of articulated objects which will be used for gait analysis. In most medical applications markers are used to determine trajecto...
113
Voted
PE
2006
Springer
15 years 21 days ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
110
click to vote
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
128
click to vote
ISPD
1998
ACM
15 years 5 months ago
1998
ACM
As chip size and design density increase, coupling effects (crosstalk) between signal wires become increasingly critical to on–chip timing and even functionality. A method is pr...