Sciweavers

3164 search results - page 387 / 633
» On Granular Knowledge Structures
Sort
View
MKM
2005
Springer
16 years 1 days ago
Processing Textbook-Style Matrices
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
Alan P. Sexton, Volker Sorge
RE
2005
Springer
16 years 1 days ago
Modelling Assumptions and Requirements in the Context of Project Risk
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
Andriy V. Miranskyy, Nazim H. Madhavji, Matthew Da...
SAFECOMP
2005
Springer
16 years 1 days 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...
SEMWEB
2005
Springer
16 years 1 days ago
Semantic Browsing of Digital Collections
Visiting museums is an increasingly popular pastime. Studies have shown that visitors can draw on their museum experience, long after their visit, to learn new things in practical ...
Trevor D. Collins, Paul Mulholland, Zdenek Zdr&aac...
TAINN
2005
Springer
16 years 1 days ago
An Evolutionary Local Search Algorithm for the Satisfiability Problem
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
Levent Aksoy, Ece Olcay Gunes