Sciweavers

2596 search results - page 78 / 520
» Gradual Typing for Objects
Sort
View
ECCTD
2011
68views more  ECCTD 2011»
14 years 3 months ago
An ontology for constraints in custom IC design
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...
Andreas Krinke, Jens Lienig
147
Voted
COMPGEOM
2009
ACM
15 years 8 months ago
The scale axis picture show
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
Joachim Giesen, Balint Miklos, Mark Pauly, Camille...
130
Voted
SSDBM
1998
IEEE
141views Database» more  SSDBM 1998»
15 years 7 months ago
Scientific Workflow Management by Database Management
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
Anastassia Ailamaki, Yannis E. Ioannidis, Miron Li...
CG
2006
Springer
15 years 3 months ago
Fast energy-based surface wrinkle modeling
This paper presents an energy-based approach that models the distinct wrinkle shapes to represent the different material properties of non-rigid objects at an interactive speed. O...
Yu Wang 0010, Charlie C. L. Wang, Matthew Ming-Fai...
163
Voted
RAS
2006
111views more  RAS 2006»
15 years 3 months ago
Planning under uncertainty using model predictive control for information gathering
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
Cindy Leung, Shoudong Huang, Ngai Ming Kwok, Gamin...