1547 search results - page 141 / 310 » The Isabelle Collections Framework |
128
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn m...
144
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
132
click to vote
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
By ‘Obligation Management’ we refer to the definition, automated enforcement, and monitoring of privacy obligation policies. Privacy policies are nowadays found on most organi...
163
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Automatic categorization of videos in a Web-scale unconstrained collection such as YouTube is a challenging task. A key issue is how to build an effective training set in the pres...
143
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...