7623 search results - page 952 / 1525 » Constructive Volume Modeling |
195
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
190
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
169
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a strongly history independent (SHI) hash table that supports search in O(1) worst-case time, and insert and delete in O(1) expected time using O(n) data space. This ma...
213
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Speaker verification is a technology of verifying the claimed identity of a speaker based on the speech signal from the speaker (voice print). To learn the score of similarity be...
181
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...