Sciweavers

1802 search results - page 187 / 361
» Complexity Theory for Operators in Analysis
Sort
View
AAAI
2007
15 years 8 months ago
Mutual Belief Revision: Semantics and Computation
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
Yi Jin, Michael Thielscher, Dongmo Zhang
SPIESR
2001
152views Database» more  SPIESR 2001»
15 years 7 months ago
Video summarization and semantics editing tools
This paper describes a video summarization and semantics editing tool that is suited for content-based video indexing and retrieval with appropriate human operator assistance. The...
Li-Qun Xu, Jian Zhu, Fred Stentiford
USENIX
2000
15 years 7 months ago
MOSIX: How Linux Clusters Solve Real-World Problems
As the complexity of software increases, the size of the software tends to increase as well, which incurs longer compilation and build cycles. In this paper, the authors present o...
Steve McClure, Richard Wheeler
WSC
2000
15 years 7 months ago
Simulation of a production plant in the brick industry
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
Erwin Rybin, Felix Breitenecker
IJNSEC
2007
128views more  IJNSEC 2007»
15 years 6 months ago
LFSR-based Signatures with Message Recovery
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
Xiangxue Li, Dong Zheng, Kefei Chen