6885 search results - page 7 / 1377 » The micro-structure of use of help |
CAV
2009
Springer
13 years 11 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
School and College campuses face a perceived threat of violent crimes and require a realistic plan against unpredictable emergencies and disasters. Existing emergency systems (e.g....
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
It is difficult to learn good classifiers when training data is missing attribute values. Conventional techniques for dealing with such omissions, such as mean imputation, general...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...
ACL
2011
12 years 11 months ago
2011
Despite the rising interest in developing grammatical error detection systems for non-native speakers of English, progress in the field has been hampered by a lack of informative...