1676 search results - page 60 / 336 » Formal System Development with KIV |
133
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
118
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
121
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
146
click to vote
IESA
2007
15 years 5 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
101
click to vote
ET
2007
15 years 4 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...