411 search results - page 45 / 83 » Automating the Dependency Pair Method |
SECON
2007
IEEE
14 years 5 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 ...
ICSE
2003
IEEE-ACM
14 years 11 months 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...
WISTP
2010
Springer
14 years 5 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...
COLING
1996
14 years 2 days 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...
BIOINFORMATICS
2005
13 years 10 months 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 ...