Sciweavers

474 search results - page 38 / 95
» Structure-preserving model reduction of complex physical sys...
Sort
View
85
Voted
ICASSP
2008
IEEE
15 years 7 months ago
System combination using auxiliary information for speaker verification
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
Luciana Ferrer, Martin Graciarena, Argyrios Zymnis...
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 6 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
104
Voted
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 19 days ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
76
Voted
WOA
2001
15 years 1 months ago
From Design to Intention: Signs of a Revolution
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...
Franco Zambonelli
117
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
Optimal SINR-based Random Access
— Random access protocols, such as Aloha, are commonly modeled in wireless ad-hoc networks by using the protocol model. However, it is well-known that the protocol model is not a...
Amir Hamed Mohsenian Rad, Vincent W. S. Wong, Robe...