Sciweavers

1547 search results - page 83 / 310
» Solving Knapsack Problems in a Sticker Based Model
Sort
View
114
Voted
APAL
2006
78views more  APAL 2006»
15 years 2 months ago
Categoricity in abstract elementary classes with no maximal models
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...
Monica Van Dieren
109
Voted
ESANN
2007
15 years 4 months ago
Model Selection for Kernel Probit Regression
Abstract. The convex optimisation problem involved in fitting a kernel probit regression (KPR) model can be solved efficiently via an iteratively re-weighted least-squares (IRWLS)...
Gavin C. Cawley
CSDA
2008
98views more  CSDA 2008»
15 years 2 months ago
Forecasting binary longitudinal data by a functional PC-ARIMA model
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
108
Voted
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
15 years 20 days ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
MOBIQUITOUS
2005
IEEE
15 years 8 months ago
WebProfiles: A Negotiation Model for User Awareness in Personal Area Networks
Automatic adaptation of the environment to user preferences results in personalized ambients that fulfill user interaction requirements in a more suitable way. However, the proble...
Juan Ignacio Vázquez, Diego López de...