698 search results - page 70 / 140 » Evaluating Key Statements Analysis |
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Index structures for multiple sets can be classified into those that group entries according to their key values and those that group entries according to their set membership. Th...
WWW
2004
ACM
16 years 1 months ago
2004
ACM
In this paper we present HearSay, a system for browsing hypertext Web documents via audio. The HearSay system is based on our novel approach to automatically creating audio browsa...
105
click to vote
MM
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
ISSA
2008
15 years 2 months ago
2008
The principle of information security safeguards is a key information principle contained in every privacy legislation measure, framework, and guideline. This principle requires d...
103
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...