Sciweavers

8177 search results - page 1097 / 1636
» Detecting System Emulators
Sort
View
QEST
2010
IEEE
15 years 5 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
196
Voted
VTC
2010
IEEE
143views Communications» more  VTC 2010»
15 years 4 months ago
Generalised Vector Precoding Design Based on the MBER Criterion for Multiuser Transmission
A generalised vector precoding (VP) design based on the minimum bit error rate (MBER) criterion is proposed for multiuser transmission in the downlink of a multiuser system where t...
Wang Yao, Sheng Chen, Lajos Hanzo
ACL
2009
15 years 4 months ago
Data Cleaning for Word Alignment
Parallel corpora are made by human beings. However, as an MT system is an aggregation of state-of-the-art NLP technologies without any intervention of human beings, it is unavoida...
Tsuyoshi Okita
215
Voted
ANCS
2009
ACM
15 years 4 months ago
A NFA-based programmable regular expression match engine
Pattern matching is the most computation intensive task of a network intrusion detection system (NIDS). In this paper we present a hardware architecture to speed up the pattern mat...
Derek Pao
GI
2009
Springer
15 years 4 months ago
An Improved Method for creating Shared Belief in Communication Constrained Sensor Networks
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
Eelke van Foeken, Peter Hiemstra, Leon Kester
« Prev « First page 1097 / 1636 Last » Next »