3322 search results - page 225 / 665 » Automatic Human Model Generation |
101
click to vote
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
INFOCOM
1995
IEEE
15 years 2 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
ECIR
2008
Springer
15 years 16 days ago
2008
Springer
Abstract. We present results of a new approach to detect destructive article revisions, so-called vandalism, in Wikipedia. Vandalism detection is a one-class classification problem...
DKE
2008
14 years 11 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
85
Voted
COLING
2010
14 years 6 months ago
2010
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...