Sciweavers

6306 search results - page 80 / 1262
» Space, Time, and the Use of Language
Sort
View
SMA
2009
ACM
208views Solid Modeling» more  SMA 2009»
16 years 25 days ago
Accelerating geometric queries using the GPU
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
Adarsh Krishnamurthy, Sara McMains, Kirk Haller
ICFP
2008
ACM
16 years 6 months ago
Space profiling for parallel functional programs
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
Daniel Spoonhower, Guy E. Blelloch, Robert Harper,...
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
15 years 12 months ago
Shape, Motion, and Parameter Estimation of Large Flexible Space Structures using Range Images
– Future space missions are expected to use robotic systems to assemble, inspect, and maintain large space structures in orbit. To carry out these tasks, robots need to know the ...
Matthew D. Lichter, Steven Dubowsky
IROS
2006
IEEE
105views Robotics» more  IROS 2006»
16 years 11 days ago
A Robocentric Motion Planner for Dynamic Environments Using the Velocity Space
— This paper addresses a method to optimize the robot motion planning in dynamic environments, avoiding the moving and static obstacles while the robot drives towards the goal. T...
Eduardo Owen, Luis Montano
FC
2007
Springer
147views Cryptology» more  FC 2007»
15 years 10 months ago
Certificate Revocation Using Fine Grained Certificate Space Partitioning
A new certificate revocation system is presented. The basic idea is to divide the certificate space into several partitions, the number of partitions being dependent on the PKI en...
Vipul Goyal