Sciweavers

1890 search results - page 120 / 378
» Model-Based Testing in Practice
Sort
View
LOCA
2005
Springer
15 years 11 months ago
Towards LuxTrace: Using Solar Cells to Measure Distance Indoors
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
Julian Randall, Oliver Amft, Gerhard Tröster
MICCAI
2004
Springer
15 years 11 months ago
Statistical Shape Modelling of the Levator Ani with Thickness Variation
The levator ani is vulnerable to injury during childbirth and effective surgical intervention requires full knowledge of the morphology and mechanical properties of the muscle stru...
Su-Lin Lee, Paramate Horkaew, Ara Darzi, Guang-Zho...
ICALT
2003
IEEE
15 years 11 months ago
Constructivism vs. Objectivism: Where is difference for Designers of e-Learning Environments?
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
Miguel Baptista Nunes, Maggie McPherson
DATE
2004
IEEE
92views Hardware» more  DATE 2004»
15 years 10 months ago
Optimization of Integrated Spiral Inductors Using Sequential Quadratic Programming
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
Yong Zhan, Sachin S. Sapatnekar
CRYPTO
2006
Springer
224views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Anonymous Hierarchical Identity-Based Encryption (Without Random Oracles)
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
Xavier Boyen, Brent Waters