411 search results - page 45 / 83 » Automating the Dependency Pair Method |
93
Voted
SECON
2007
IEEE
15 years 7 months ago
2007
IEEE
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
102
Voted
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
114
Voted
WISTP
2010
Springer
15 years 7 months ago
2010
Springer
Protocols for bootstrapping security in ad hoc mobile device interactions rely on users’ ability to perform specific tasks such as transferring or comparing fingerprints of inf...
106
Voted
COLING
1996
15 years 1 months ago
1996
This paper snggests a method to align Korean-English parallel corpus. '1?he structural dissimilarity between Korean and Indo-European languages requires more flexible measure...
123
Voted
BIOINFORMATICS
2005
15 years 16 days ago
2005
Motivation: Remote homology detection between protein sequences is a central problem in computational biology. Supervised learning algorithms based on support vector machines are ...