4276 search results - page 168 / 856 » Techniques for Empirical Validation |
164
click to vote
CRIWG
2000
15 years 7 months ago
2000
GRADD is a group decision support systems targeted at asynchronous and distributed meetings. The distinctive features of GRADD are the combination of a rationalemodel for discussi...
132
click to vote
DEXAW
1997
IEEE
15 years 10 months ago
1997
IEEE
Existing concurrency control algorithms do not well conform to various environments, in the performance perspective. Each algorithm has some assumption on the conflict characteris...
197
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
155
click to vote
CLEF
2007
Springer
16 years 21 days ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
180
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...