Sciweavers

187 search results - page 27 / 38
» Coloring linear orders with Rado's partial order
Sort
View
IJNSEC
2007
128views more  IJNSEC 2007»
13 years 8 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
BIS
2010
159views Business» more  BIS 2010»
13 years 3 months ago
Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
Jérémy Besson, Ieva Mitasiunaite, Au...
ICASSP
2011
IEEE
13 years 5 days ago
Adaptive MIMO detection algorithm by jointly exploiting the properties of signal and channel
The purpose of this paper is to develop an algorithm achieving the performance of fixed-complexity decoder (FSD) with much lower complexity than FSD. An adaptive expansion strate...
Yuehua Ding, Yide Wang, Jean-Francois Diouris
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 9 days ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ICIP
2003
IEEE
14 years 10 months ago
Fast indexing for image retrieval based on local appearance with re-ranking
This paper describes an approach to retrieve images containing specific objects, scenes or buildings. The image content is captured by a set of local features. More precisely, we ...
Hao Shao, Tomás Svoboda, Vittorio Ferrari, ...