Sciweavers

4013 search results - page 262 / 803
» computer 2002
Sort
View
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 9 months ago
DEEP: Dual-Space Expansion for Estimating Penetration Depth Between Convex Polytopes
Abstract— We present an incremental algorithm to estimate the penetration depth between convex polytopes in 3D. The algorithm incrementally seeks a “locally optimal solution”...
Young J. Kim, Ming C. Lin, Dinesh Manocha
C5
2004
IEEE
15 years 8 months ago
Dolittle - Experiences in Teaching Programming at K12 Schools
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriente...
Susumu Kanemune, Takako Nakatani, Rie Mitarai, Shi...
COGSCI
2010
114views more  COGSCI 2010»
15 years 4 months ago
Strudel: A Corpus-Based Semantic Model Based on Properties and Types
Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meani...
Marco Baroni, Brian Murphy, Eduard Barbu, Massimo ...
INFSOF
2002
78views more  INFSOF 2002»
15 years 4 months ago
Flow insensitive points-to sets
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
Paul Anderson, David Binkley, Genevieve Rosay, Tim...
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 4 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha