Sciweavers

6171 search results - page 241 / 1235
» The FrameNet Data and Software
Sort
View
RR
2007
Springer
15 years 10 months ago
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
Efstratios Kontopoulos, Nick Bassiliades, Grigoris...
CCE
2008
15 years 4 months ago
Stochastic-based accuracy of data reconciliation estimators for linear systems
Accuracy of an instrument has been traditionally defined as the sum of the precision and the bias. Recently, this notion was generalized to estimators [Bagajewicz, M. (2005a). On ...
Miguel J. Bagajewicz, DuyQuang Nguyen
FMSD
2006
77views more  FMSD 2006»
15 years 4 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
WCRE
2000
IEEE
15 years 9 months ago
FAMIX and XMI
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
Sander Tichelaar, Stéphane Ducasse, Serge D...
IWPC
2006
IEEE
15 years 10 months ago
How Webmining and Coupling Metrics Improve Early Program Comprehension
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
Andy Zaidman, Bart Du Bois, Serge Demeyer