1172 search results - page 79 / 235 » Constructions of generalized Sidon sets |
155
click to vote
ATAL
2007
Springer
16 years 1 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...
167
click to vote
CALCO
2007
Springer
16 years 1 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...
183
click to vote
CONCUR
2007
Springer
16 years 1 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...
182
click to vote
IJCNN
2006
IEEE
16 years 27 days 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...
161
click to vote
IUI
2006
ACM
16 years 25 days 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 ...