7393 search results - page 1135 / 1479 » Synthesis-for-testability using transformations |
159
click to vote
DICTA
2007
15 years 5 months ago
2007
Existing asymmetric encryption algorithms require the storage of the secret private key. Stored keys are often protected by poorly selected user passwords that can either be guess...
148
click to vote
LREC
2010
15 years 5 months ago
2010
We present an annotation tool for the extended textual coreference and the bridging anaphora in the Prague Dependency Treebank 2.0 (PDT 2.0). After we very briefly describe the an...
143
click to vote
IJCAI
2007
15 years 5 months ago
2007
Kernel based nonlinear Feature Extraction (KFE) or dimensionality reduction is a widely used pre-processing step in pattern classification and data mining tasks. Given a positive...
133
click to vote
IJCAI
2007
15 years 5 months ago
2007
Typically, autonomous believable agents are implemented using static, hand-authored reactive behaviors or scripts. This hand-authoring allows designers to craft expressive behavio...
182
click to vote
MIE
2008
15 years 5 months ago
2008
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...