3778 search results - page 228 / 756 » Erdos-Ko-Rado for three sets |
159
click to vote
AML
2006
15 years 5 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...
172
click to vote
IFIPTCS
2010
15 years 3 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
187
click to vote
HCI
2009
15 years 3 months ago
2009
An ambient user interface is a set of hidden intelligent interfaces that recognize user's presence and provides services to immediate needs. There are several research activit...
195
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clo...
169
click to vote
TVCG
2010
15 years 12 days ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...