Sciweavers

5777 search results - page 1074 / 1156
» The palladio component model
Sort
View
CIKM
2009
Springer
15 years 6 months ago
Post-rank reordering: resolving preference misalignments between search engines and end users
No search engine is perfect. A typical type of imperfection is the preference misalignment between search engines and end users, e.g., from time to time, web users skip higherrank...
Chao Liu, Mei Li, Yi-Min Wang
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 6 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
GECCO
2009
Springer
100views Optimization» more  GECCO 2009»
15 years 6 months ago
Partial neighborhoods of elementary landscapes
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
L. Darrell Whitley, Andrew M. Sutton
ICRA
2008
IEEE
117views Robotics» more  ICRA 2008»
15 years 6 months ago
Kinematics and calibration of active cannulas
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
Robert J. Webster III, Joseph M. Romano, Noah J. C...
VR
2008
IEEE
128views Virtual Reality» more  VR 2008»
15 years 6 months ago
GVT: a platform to create virtual environments for procedural training
The use of Virtual Environments for Training is strongly stimulated by important needs for training on sensitive equipments. Yet, developing such an application is often done with...
Stéphanie Gerbaud, Nicolas Mollet, Franck G...
« Prev « First page 1074 / 1156 Last » Next »