4235 search results - page 494 / 847 » Process Spaces |
154
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
194
click to vote
MVA
2010
15 years 5 months ago
2010
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
183
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
195
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
Ideation Decks is a project that explores the development of a methodological tool for design ideation. It involves the creation and use of bespoke project-specific card based sys...
184
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes an evolutionary RBF network classifier for polarimetric synthetic aperture radar ( SAR) images. The proposed feature extraction process utilizes the full covar...