Sciweavers

461 search results - page 32 / 93
» Bounds for Validation
Sort
View
SMA
2003
ACM
120views Solid Modeling» more  SMA 2003»
14 years 4 months ago
Three-dimensional halfspace constructive solid geometry tree construction from implicit boundary representations
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
Suzanne F. Buchele, Richard H. Crawford
HYBRID
2009
Springer
14 years 2 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
MP
2010
99views more  MP 2010»
13 years 9 months ago
Separation, dimension, and facet algorithms for node flow polyhedra
Abstract; Dedicated to Alan J. Hoffman Ball et al. propose a graph model for material compatibility constraints for products such as PCs made from components, where each componen...
Maren Martens, S. Thomas McCormick, Maurice Queyra...
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
14 years 5 months ago
Energy based path planning for a novel cabled robotic system
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
Per Henrik Borgstrom, Amarjeet Singh 0003, Brett L...
NECO
2007
74views more  NECO 2007»
13 years 10 months ago
Phase Transition and Hysteresis in an Ensemble of Stochastic Spiking Neurons
An ensemble of stochastic non-leaky integrate-and-fire neurons with global, delayed and excitatory coupling and a small refractory period is analyzed. Simulations with adiabatic ...
Andreas Kaltenbrunner, Vicenç Gómez,...