Sciweavers

1624 search results - page 80 / 325
» Modelling Variability for System Families
Sort
View
IFIPTCS
2000
14 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
SECON
2007
IEEE
14 years 4 months ago
Decentralized Multiuser Diversity with Cooperative Relaying in Wireless Sensor Networks
— Multiuser diversity is a phenomenon caused by channel variations among different users in a wireless network. Cooperative relaying provides another form of diversity due to the...
Sam Vakil, Ben Liang
ESOP
2012
Springer
12 years 5 months ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...
WSC
2008
14 years 7 days ago
Generating artificial populations using a multi-level fuzzy inference engine
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
Carlos R. Garcia-Alonso, Gabriel M. Perez-Alcala
ICASSP
2011
IEEE
13 years 1 months ago
Towards robust word discovery by self-similarity matrix comparison
Word discovery is the task of discovering and collecting occurrences of repeating words in the absence of prior acoustic and linguistic knowledge, or training material. The capabi...
Armando Muscariello, Guillaume Gravier, Fré...