844 search results - page 73 / 169 » Safraless Decision Procedures |
114
click to vote
ICASSP
2011
IEEE
14 years 3 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...
190
click to vote
CADE
2011
Springer
13 years 12 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 ...
POPL
2012
ACM
13 years 7 months 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...
HICSS
2003
IEEE
15 years 5 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...
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
Virtual organisations within and across enterprise structures are becoming mature as a potentially effective means for goal oriented business teamwork. Among the plentyful of supp...