9611 search results - page 316 / 1923 » A Note on Difference Sets |
137
click to vote
IJCAI
1989
15 years 7 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
148
Voted
ANOR
2008
15 years 6 months ago
2008
Abstract Given a collection of individual preferences defined on a same finite set of candidates, we consider the problem of aggregating them into a collective preference minimizin...
216
click to vote
ENTCS
2006
15 years 6 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
175
click to vote
JASIS
2006
15 years 6 months ago
2006
This paper reports on an experimental study on the differences between spoken and written queries. A set of written and spontaneous spoken queries are generated by users from writ...
157
click to vote
FCSC
2007
15 years 6 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...