3799 search results - page 601 / 760 » An Engineering Approach to Formal Methods |
189
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
135
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
186
click to vote
CGF
2011
14 years 8 months ago
2011
High-dimensional data visualization is receiving increasing interest because of the growing abundance of highdimensional datasets. To understand such datasets, visualization of th...
144
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
157
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...