Sciweavers

1071 search results - page 99 / 215
» Using Cell-DEVS for Modeling Complex Cell Spaces
Sort
View
80
Voted
ICRA
2010
IEEE
99views Robotics» more  ICRA 2010»
15 years 2 months ago
Retraction-based RRT planner for articulated models
— We present a new retraction algorithm for high DOF articulated models and use our algorithm to improve the performance of RRT planners in narrow passages. The retraction step i...
Jia Pan, Liangjun Zhang, Dinesh Manocha
164
Voted
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
15 years 8 months ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
156
Voted
CVPR
2009
IEEE
16 years 10 months ago
Shared Kernel Information Embedding for Discriminative Inference
Latent Variable Models (LVM), like the Shared-GPLVM and the Spectral Latent Variable Model, help mitigate over- fitting when learning discriminative methods from small or modera...
David J. Fleet, Leonid Sigal, Roland Memisevic
146
Voted
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 10 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
NSDI
2004
15 years 4 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler