9405 search results - page 1301 / 1881 » Computing a Model of Set Theory |
170
click to vote
GCC
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
183
click to vote
ICAPR
2005
Springer
16 years 18 days ago
2005
Springer
We present a new approach to detecting defects in random textures which requires only very few defect free samples for unsupervised training. Each product image is divided into ove...
183
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
207
click to vote
ISNN
2005
Springer
16 years 18 days ago
2005
Springer
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...
175
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...