1547 search results - page 135 / 310 » The Isabelle Collections Framework |
136
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
125
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
139
Voted
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
When issuing user-specific queries, users often have a vaguely defined information need. Skyline queries identify the most "interesting" objects for users' incomplet...
133
click to vote
AAAI
2010
15 years 5 months ago
2010
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...
134
click to vote
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
Queries submitted to a retrieval system are often ambiguous. In such a situation, a sensible strategy is to diversify the ranking of results to be retrieved, in the hope that users...