Sciweavers

2448 search results - page 243 / 490
» The Octahedron Abstract Domain
Sort
View
LSSC
2007
Springer
16 years 24 days ago
On Smoothing Surfaces in Voxel Based Finite Element Analysis of Trabecular Bone
Abstract. The (micro-)finite element analysis based on three-dimensional computed tomography (CT) data of human bone takes place on complicated domains composed of often hundreds ...
Peter Arbenz, Cyril Flaig
MLMI
2007
Springer
16 years 23 days ago
An Ego-Centric and Tangible Approach to Meeting Indexing and Browsing
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
Denis Lalanne, Florian Evéquoz, Maurizio Ri...
OTM
2007
Springer
16 years 23 days ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
SARA
2007
Springer
16 years 23 days ago
Reformulating Constraint Satisfaction Problems to Improve Scalability
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch...
SARA
2007
Springer
16 years 23 days ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl