Sciweavers

2474 search results - page 308 / 495
» Using Knowledge Management Systems to Structure Knowledgeabl...
Sort
View
HUC
2010
Springer
15 years 4 months ago
Routine as resource for the design of learning systems
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
Scott Davidoff
FORTE
2004
15 years 7 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard
SAFECOMP
2005
Springer
15 years 12 months ago
Justification of Smart Sensors for Nuclear Applications
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra...
SGAI
2004
Springer
15 years 11 months ago
A combinatorial approach to conceptual graph projection checking
We exploit the combinatorial structure of conceptual graphs in order to obtain faster execution time when computing projection, which is a core generalisation-specialisation relat...
Madalina Croitoru, Ernesto Compatangelo
TVCG
2010
197views more  TVCG 2010»
15 years 4 months ago
High-Dynamic-Range Texture Compression for Rendering Systems of Different Capacities
—In this paper, we propose a novel approach for high-dynamic-range (HDR) texture compression (TC) suitable for rendering systems of different capacities. Based on the previously ...
Wen Sun, Yan Lu, Feng Wu, Shipeng Li, John Tardif