4770 search results - page 542 / 954 » Flexible Type Analysis |
178
click to vote
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...
148
click to vote
DAS
2004
Springer
16 years 7 days ago
2004
Springer
Companies order, receive, and pay for goods. Hence they continually receive and process invoices. For the most part these are printed on paper and are dealt with manually, so that ...
148
click to vote
DAS
2004
Springer
16 years 7 days ago
2004
Springer
Voronoi tessellation of image elements provides an intuitive and appealing definition of proximity, which has been suggested as an effective tool for the description of relations...
206
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
207
click to vote
GISCIENCE
2004
Springer
16 years 7 days ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...