Sciweavers

2661 search results - page 341 / 533
» Model Checking Performability Properties
Sort
View
BMCBI
2008
136views more  BMCBI 2008»
13 years 11 months ago
Allowing for mandatory covariates in boosting estimation of sparse high-dimensional survival models
Background: When predictive survival models are built from high-dimensional data, there are often additional covariates, such as clinical scores, that by all means have to be incl...
Harald Binder, Martin Schumacher
ANSS
2005
IEEE
14 years 4 months ago
Perfect Simulations for Random Trip Mobility Models
The random trip model was recently proposed as a generic mobility model that contains many particular mobility models, including the widely-known random waypoint and random walks,...
Santashil PalChaudhuri, Jean-Yves Le Boudec, Milan...
TII
2008
77views more  TII 2008»
13 years 10 months ago
The One-Shot Task Model for Robust Real-Time Embedded Control Systems
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
Camilo Lozoya, Manel Velasco, Pau Martí
ICMI
2010
Springer
172views Biometrics» more  ICMI 2010»
13 years 8 months ago
Modelling and analyzing multimodal dyadic interactions using social networks
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
Sergio Escalera, Petia Radeva, Jordi Vitrià...
SIGIR
2012
ACM
12 years 1 months ago
Explicit relevance models in intent-oriented information retrieval diversification
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
Saul Vargas, Pablo Castells, David Vallet