Sciweavers

18769 search results - page 3535 / 3754
» Requirements Models in Context
Sort
View
EWSPT
2003
Springer
15 years 12 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels
GECCO
2003
Springer
123views Optimization» more  GECCO 2003»
15 years 12 months ago
Benefits of Implicit Redundant Genetic Algorithms for Structural Damage Detection in Noisy Environments
A robust structural damage detection method that can handle noisy frequency response function information is discussed. The inherent unstructured nature of damage detection problem...
Anne M. Raich, Tamás Liszkai
ICRA
2002
IEEE
181views Robotics» more  ICRA 2002»
15 years 11 months ago
The BlueDRAGON - A System for Measuring the Kinematics and the Dynamics of Minimally Invasive Surgical Tools In-Vivo
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
Jacob Rosen, Jeffrey D. Brown, Lily Chang, Marco B...
CODES
2009
IEEE
15 years 11 months ago
Native MPSoC co-simulation environment for software performance estimation
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
Patrice Gerin, Mian Muhammad Hamayun, Fréd&...
ECSQARU
2009
Springer
15 years 11 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
« Prev « First page 3535 / 3754 Last » Next »