4636 search results - page 771 / 928 » Modelling and Validation with VipTool |
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
AUTOMOTIVEUI
2009
ACM
14 years 3 months ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
IMC
2009
ACM
14 years 3 months ago
2009
ACM
Packet sampling techniques introduce measurement errors that should be carefully handled in order to correctly characterize the network behavior. In the literature several works h...
MM
2009
ACM
14 years 3 months ago
2009
ACM
Speaker clustering is the task of grouping a set of speech utterances into speaker-speciļ¬c classes. The basic techniques for solving this task are similar to those used for spea...
RECSYS
2009
ACM
14 years 3 months ago
2009
ACM
Collaborative Filtering (CF) recommendations are computed by leveraging a historical data set of usersā ratings for items. It assumes that the usersā previously recorded ratin...