1672 search results - page 104 / 335 » Interactive Mathematical Documents |
151
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
121
Voted
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
119
click to vote
EWMF
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We show that eigenvector decomposition can be used to extract a term taxonomy from a given collection of text documents. So far, methods based on eigenvector decompositio...
139
click to vote
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
134
click to vote
INEX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In its second year, the Interactive Track at INEX focused on addressing some fundamental issues of interactive XML retrieval: is element retrieval useful for searchers, w...