846 search results - page 70 / 170 » Rewrite-Based Decision Procedures |
155
Voted
TNN
2010
14 years 11 months ago
2010
In recent years, learning from imbalanced data has attracted growing attention from both academia and industry due to the explosive growth of applications that use and produce imba...
167
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This study focuses on determining a procedure to select effective negative examples for development of improved Support Vector Machine (SVM) based speaker recognition. Selection o...
271
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
121
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
141
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Technological systems involving hazards are typically managed by experienced personnel guided by wellformulated, pre-determined procedures. These procedures are designed to ensure...