1154 search results - page 117 / 231 » Mathematizing C concurrency |
ISSAC
2004
Springer
14 years 2 months ago
2004
Springer
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...
SDMW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements an...
HAPTICS
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper shows a preliminary experimental evaluation of a novel haptic aiding for Remotely Piloted Vehicles. The aerodynamically-inspired haptic feedback law was named Convention...
EPIA
1999
Springer
14 years 1 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
SIBGRAPI
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...