412 search results - page 1 / 83 » Categories for the working mathematician: making the impossi... |
SYNTHESE
2008
13 years 4 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
ACLLAW
2011
12 years 8 months ago
2011
In this paper, we first analyze and classify the empty categories in a Hindi dependency treebank and then identify various discovery procedures to automatically detect the existe...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
BMCBI
2006
13 years 4 months ago
2006
Background: Restriction enzymes are one of the everyday tools used in molecular biology. The continuously expanding panel of known restriction enzymes (several thousands) renders ...
KDD
2009
ACM
13 years 11 months ago
2009
ACM
Many applications in surveillance, monitoring, scientific discovery, and data cleaning require the identification of anomalies. Although many methods have been developed to iden...