1155 search results - page 108 / 231 » A Decision-Theoretic Model of Assistance |
205
click to vote
NN
2010
Springer
15 years 1 months ago
2010
Springer
Kernelized LASSO (Least Absolute Selection and Shrinkage Operator) has been investigated in two separate recent papers (Gao et al., 2008) and (Wang et al., 2007). This paper is co...
251
click to vote
ALDT
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...
185
click to vote
INFSOF
2008
15 years 6 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
182
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
The extraction of temporal characteristics from sensor data streams can reveal important properties about the sensed events. Knowledge of temporal characteristics in applications ...
167
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...