2509 search results - page 188 / 502 » Abstract Geometrical Computation and Computable Analysis |
160
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The paper presents a methodology for the enhanced stiffness analysis of parallel manipulators with internal preloading in passive joints. It also takes into account influ...
229
click to vote
CIARP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In this paper, we address the problem of opinion analysis using a probabilistic approach to the underlying structure of different types of opinions or sentiments around ...
206
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
162
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway or vascular tree morphology and its associated function. Our skeletoniza...
171
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...