Sciweavers

187 search results - page 1 / 38
» Generating ultrafilters in a reasonable way
Sort
View
MLQ
2008
79views more  MLQ 2008»
13 years 5 months ago
Generating ultrafilters in a reasonable way
Abstract. We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on from filter...
Andrzej Roslanowski, Saharon Shelah
ASIACRYPT
2007
Springer
13 years 11 months ago
Black-Box Extension Fields and the Inexistence of Field-Homomorphic One-Way Permutations
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
Ueli M. Maurer, Dominik Raub
ICAIL
2003
ACM
13 years 10 months ago
A Model Based Reasoning Approach for Generating Plausible Crime Scenarios from Evidence
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
Jeroen Keppens, John Zeleznikow
ADC
2004
Springer
90views Database» more  ADC 2004»
13 years 10 months ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori
GIS
2009
ACM
13 years 3 months ago
Quality assessment of automatically generated feature maps for future driver assistance systems
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...
Sabine Hofmann, Claus Brenner