Sciweavers

2702 search results - page 258 / 541
» constraints 2008
Sort
View
JSAC
2008
94views more  JSAC 2008»
15 years 6 months ago
Soft-output sphere decoding: algorithms and VLSI implementation
Multiple-input multiple-output (MIMO) detection algorithms providing soft information for a subsequent channel decoder pose significant implementation challenges due to their high ...
Christoph Studer, Andreas Burg, Helmut Bölcsk...
DKE
2007
101views more  DKE 2007»
15 years 6 months ago
Parameterized pattern queries
We introduce parameterized pattern queries as a new paradigm to extend traditional pattern expressions over sequence databases. A parameterized pattern is essentially a string mad...
Cédric du Mouza, Philippe Rigaux, Michel Sc...
JSW
2008
164views more  JSW 2008»
15 years 6 months ago
Constraint-based Trend Template for Intrusion Detection
Intrusion detection systems (IDS) are special computer security tools which help detect intrusion attempts. Misuse based detection is one of the techniques which is used by IDS to ...
Md. Ahsan Habib, Krisna Prasad Pawdel, Mohammad Ra...
JUCS
2008
208views more  JUCS 2008»
15 years 6 months ago
Using Taxonomies to Support the Macro Design Process for the Production of Web Based Trainings
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
Abdelhak Aqqal, Christoph Rensing, Ralf Steinmetz,...
LISP
2008
154views more  LISP 2008»
15 years 6 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka