Sciweavers

2370 search results - page 425 / 474
» On the Revival of Dynamic Languages
Sort
View
106
Voted
SOPR
2002
106views more  SOPR 2002»
15 years 9 days ago
A discrete simulation model for assessing software project scheduling policies
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
Frank Padberg
103
Voted
TOPLAS
2002
98views more  TOPLAS 2002»
15 years 9 days ago
Data abstraction and information hiding
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
K. Rustan M. Leino, Greg Nelson
CGF
2010
95views more  CGF 2010»
15 years 8 days ago
Polygonal Surface Advection applied to Strange Attractors
Strange attractors of 3D vector field flows sometimes have a fractal geometric structure in one dimension, and smooth surface behavior in the other two. General flow visualization...
S. Yan, N. Max, K.-L. Ma
101
Voted
PVLDB
2008
136views more  PVLDB 2008»
15 years 4 days ago
Keyword query cleaning
Unlike traditional database queries, keyword queries do not adhere to predefined syntax and are often dirty with irrelevant words from natural languages. This makes accurate and e...
Ken Q. Pu, Xiaohui Yu
113
Voted
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
14 years 11 months ago
Sampling-Based Motion and Symbolic Action Planning with geometric and differential constraints
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
Erion Plaku, Gregory D. Hager