Sciweavers

3778 search results - page 380 / 756
» Erdos-Ko-Rado for three sets
Sort
View
IPL
2008
78views more  IPL 2008»
15 years 6 months ago
Resource-bounded measure on probabilistic classes
We extend Lutz's resource-bounded measure to probabilistic classes, and obtain notions of resource-bounded measure on probabilistic complexity classes such as BPE and BPEXP. ...
Philippe Moser
IJUFKS
2006
64views more  IJUFKS 2006»
15 years 6 months ago
Cautious Analysis of Project Risks by Interval-Valued Initial Data
One of the most common performance measures in selection and management of projects is the Net Present Value (NPV). In the paper, we study a case when initial data about the NPV p...
Lev V. Utkin
JDWM
2008
90views more  JDWM 2008»
15 years 6 months ago
Overview of PAKDD Competition 2007
The PAKDD Competition 2007 involved the problem of predicting customers'propensity to take up a home loanwhenacollectionofdatafromcreditcardusersareprovided.Itisratherdifficu...
Junping Zhang, Guo-Zheng Li
177
Voted
JAPLL
2006
87views more  JAPLL 2006»
15 years 6 months ago
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
Freek Wiedijk
JSAT
2008
89views more  JSAT 2008»
15 years 6 months ago
Towards a Classification of Hamiltonian Cycles in the 6-Cube
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
Yury Chebiryak, Daniel Kroening