4245 search results - page 32 / 849 » Input Modeling |
ENTCS
2006
14 years 11 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
111
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
ICC
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—This paper addresses the problem of adaptive channel tracking and equalization for multi-input multi-output (MIMO) time-variant frequency-selective channels. A finite-l...
69
Voted
NAACL
2007
15 years 1 months ago
2007
The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stocha...
116
click to vote
PTS
1998
15 years 1 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...