6704 search results - page 1218 / 1341 » Testing Scenario-Based Models |
175
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
146
click to vote
AIMS
2008
Springer
15 years 5 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
110
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Review assignment is a common task that many people such as conference organizers, journal editors, and grant administrators would have to do routinely. As a computational problem...
153
click to vote
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge discovery systems are constrained by three main limited resources: time, memory and sample size. Sample size is traditionally the dominant limitation, but in many present...
143
click to vote
ACL
2008
15 years 4 months ago
2008
Accurate unsupervised learning of phonemes of a language directly from speech is demonstrated via an algorithm for joint unsupervised learning of the topology and parameters of a ...