Sciweavers

744 search results - page 128 / 149
» Studying Knowledge Management System Success in System Admin...
Sort
View
SPATIALCOGNITION
1998
Springer
13 years 12 months ago
Human Place Learning in a Computer Generated Arena
We describe the development of a computer-generated arena within which one can study human place learning by asking subjects to locate an invisible target. A series of studies demo...
L. Nadel, K. G. F. Thomas, H. E. Laurance, R. Skel...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 23 hour ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
DAGSTUHL
2010
13 years 9 months ago
From Visualization to Visually Enabled Reasoning
Interactive Visualization has been used to study scientific phenomena, analyze data, visualize information, and to explore large amounts of multivariate data. It enables the human...
Joerg Meyer, Jim Thomas, Stephan Diehl, Brian Fish...
AIME
2007
Springer
14 years 1 months ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
ESWA
2010
136views more  ESWA 2010»
13 years 6 months ago
Case-based adaptation for automotive engine electronic control unit calibration
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
Chi-Man Vong, Pak-Kin Wong