Sciweavers

6224 search results - page 974 / 1245
» Recent Advances in Networking
Sort
View
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 5 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
ICANN
2005
Springer
16 years 5 days ago
Discriminative Common Images for Face Recognition
Linear discrimination analysis (LDA) technique is an important and well-developed area of image recognition and to date many linear discrimination methods have been put forward. Ba...
Vo Dinh Minh Nhat, Sungyoung Lee
ICIAR
2005
Springer
16 years 5 days ago
Digital Video Scrambling Using Motion Vector and Slice Relocation
As digitalized content rapidly proliferates in networked systems, content security necessarily arises as one of the most important issues. Many developers have studied techniques ...
Sang Gu Kwon, Woong Il Choi, Byeungwoo Jeon
IJCNLP
2005
Springer
16 years 5 days ago
A Connectionist Model of Anticipation in Visual Worlds
Recent “visual worlds” studies, wherein researchers study language in context by monitoring eye-movements in a visual scene during sentence processing, have revealed much about...
Marshall R. Mayberry, Matthew W. Crocker, Pia Knoe...
ISNN
2005
Springer
16 years 5 days ago
ICA and Committee Machine-Based Algorithm for Cursor Control in a BCI System
In recent years, brain-computer interface (BCI) technology has emerged very rapidly. Brain-computer interfaces (BCIs) bring us a new communication interface technology which can tr...
Jianzhao Qin, Yuanqing Li, Andrzej Cichocki