Sciweavers

11097 search results - page 201 / 2220
» Hera presentation generator
Sort
View
CP
2006
Springer
15 years 2 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
CGI
2003
IEEE
15 years 2 months ago
Reaching Volumes Generated by Means of Octal Trees and Cartesian Constraints
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
I. Rodríguez, Manuel Peinado, Ronan Boulic,...
IMR
2000
Springer
15 years 2 months ago
High Quality Anisotropic Tetrahedral Mesh Generation Via Ellipsoidal Bubble Packing
This paper presents a new computational method for anisotropic tetrahedral meshing that (1) can control shapes of the elements by an arbitrary anisotropy function, and (2) can avo...
Soji Yamakawa, Kenji Shimada
ISMIS
2000
Springer
15 years 2 months ago
Automatic Semantic Header Generator
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali
ICCAD
1995
IEEE
68views Hardware» more  ICCAD 1995»
15 years 2 months ago
Generating sparse partial inductance matrices with guaranteed stability
This paper proposes a definition of magnetic vector potential that can be used to evaluate sparse partial inductance matrices. Unlike the commonly applied procedure of discarding...
Byron Krauter, Lawrence T. Pileggi