Sciweavers

77016 search results - page 510 / 15404
» Modelling
Sort
View
TYPES
2004
Springer
16 years 11 days ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
ECCV
2010
Springer
16 years 11 days ago
A Discriminative Latent Model of Object Classes and Attributes
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
EUROMICRO
2003
IEEE
16 years 10 days ago
Modelling the performance of CORBA using Layered Queueing Networks
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...
Tom Verdickt, Bart Dhoedt, Frank Gielen, Piet Deme...
HICSS
2003
IEEE
159views Biometrics» more  HICSS 2003»
16 years 9 days ago
Emergent Structures in Supply Chains - A Study Integrating Agent-Based and System Dynamics Modeling
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
Nadine Schieritz, Andreas Größler
CICLING
2003
Springer
16 years 8 days ago
Experiments with Linguistic Categories for Language Model Optimization
In this work1 we obtain robust category-based language models to be integrated into speech recognition systems. Deductive rules are used to select linguistic categories and to matc...
Arantza Casillas, Amparo Varona, Inés Torre...
« Prev « First page 510 / 15404 Last » Next »