Sciweavers

468 search results - page 67 / 94
» Similarity of Objects and the Meaning of Words
Sort
View
NETCOOP
2009
Springer
15 years 4 months ago
User Association to Optimize Flow Level Performance in Wireless Systems with Dynamic Interference
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...
Balaji Rengarajan, Gustavo de Veciana
ICFCA
2010
Springer
15 years 4 months ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende
TPHOL
2005
IEEE
15 years 3 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
ISOLA
2004
Springer
15 years 3 months ago
Case Studies with Lurette V2
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
Erwan Jahier, Pascal Raymond, Philippe Baufreton
TSD
2004
Springer
15 years 3 months ago
Automatic Recognition and Evaluation of Tracheoesophageal Speech
Tracheoesophageal (TE) speech is a possibility to restore the ability to speak after laryngectomy, i.e. the removal of the larynx. TE speech often shows low audibility and intellig...
Tino Haderlein, Stefan Steidl, Elmar Nöth, Fr...