1172 search results - page 79 / 235 » Constructions of generalized Sidon sets |
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We examine data collected from on-line assessments of the numeracy and literacy skills of young students in order to construct probabilistic agent-based controllers. We demonstrat...
88
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— We propose the Multiresponse Sparse Regression algorithm, an input selection method for the purpose of estimating several response variables. It is a forward selection procedur...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...