Sciweavers

3927 search results - page 182 / 786
» Emotional Concept Development
Sort
View
MICCAI
2003
Springer
14 years 10 months ago
Needle Steering and Model-Based Trajectory Planning
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
Simon P. DiMaio, S. E. Salcudean
CADE
2006
Springer
14 years 9 months ago
Importing HOL into Isabelle/HOL
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
Steven Obua, Sebastian Skalberg
ER
2009
Springer
166views Database» more  ER 2009»
14 years 3 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone
FOCI
2007
IEEE
14 years 3 months ago
The Immune System in Pieces: Computational Lessons from Degeneracy in the Immune System
— The concept of degeneracy in biology, including the immune system, is well accepted and has been demonstrated to be present at many different levels. We explore this concept fr...
Miguel Mendao, Jonathan Timmis, Paul S. Andrews, M...
IWINAC
2007
Springer
14 years 3 months ago
Brain Organization and Computation
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
Andreas Schierwagen