1285 search results - page 222 / 257 » Description Logic Reasoner: System Description |
112
click to vote
PR
2006
15 years 1 months ago
2006
Performance evaluation of content-based image retrieval (CBIR) systems is an important but still unsolved problem. The reason for its importance is that only performance evaluatio...
105
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
118
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
116
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
128
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...