2314 search results - page 194 / 463 » Monoids over domains |
167
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
Formulating and executing queries over distributed, autonomous and heterogeneous resources is an important research area. The advent of the Internet and the Web and their inherent...
224
click to vote
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
151
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
166
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes and evaluates several alternate design choices for common prediction metrics employed by neighborhood-based collaborative filtering approach. It first explores ...
150
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This di...