1638 search results - page 146 / 328 » Properties of input-consuming derivations |
148
click to vote
MASCOTS
2010
15 years 7 months ago
2010
The simulation models of wireless networks rapidly increase in complexity to accurately model wireless channel characteristics and the properties of advanced transmission technolog...
157
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
139
click to vote
GRAPHICSINTERFACE
2008
15 years 7 months ago
2008
The LiveSync interaction metaphor allows an efficient and nonintrusive integration of 2D and 3D visualizations in medical workstations. This is achieved by synchronizing the 2D sl...
158
click to vote
LREC
2008
15 years 7 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...
168
click to vote
IKE
2007
15 years 7 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...