Sciweavers

5615 search results - page 720 / 1123
» Active Learner Modelling
Sort
View
IJDE
2007
105views more  IJDE 2007»
15 years 6 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
CAD
2005
Springer
15 years 6 months ago
Shape-based searching for product lifecycle applications
Estimates suggest that more than 75% of engineering design activity comprises reuse of previous design knowledge to address a new design problem. Reusing design knowledge has grea...
Natraj Iyer, Subramaniam Jayanti, Kuiyang Lou, Yag...
INFSOF
2000
77views more  INFSOF 2000»
15 years 6 months ago
Integration of functional, cognitive and quality requirements. A railways case study
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
Massimo Felici, Mark-Alexander Sujan, Maria Wimmer
IJON
2002
80views more  IJON 2002»
15 years 6 months ago
Novel dynamics of dendritic integration in the high conductance state of cortical neurons
Neocortical neurons in vivo operate in a high-conductance state which may a ect the dynamics of dendritic integration, but this aspect remains only barely characterized. We invest...
Michael Rudolph, Alain Destexhe
IVC
2002
142views more  IVC 2002»
15 years 6 months ago
Real-time tracking of complex structures with on-line camera calibration
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
Tom Drummond, Roberto Cipolla