607 search results - page 106 / 122 » Unifying Exact Completions |
103
click to vote
ICMI
2010
Springer
14 years 8 months ago
2010
Springer
Traditionally listener response prediction models are learned from pre-recorded dyadic interactions. Because of individual differences in behavior, these recordings do not capture...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
JCT
2011
14 years 5 months ago
2011
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three clas...
148
click to vote
STOC
2012
ACM
13 years 1 months ago
2012
ACM
We obtain a characterization of feasible, Bayesian, multi-item multi-bidder mechanisms with independent, additive bidders as distributions over hierarchical mechanisms. Combined w...
VIS
2005
IEEE
15 years 12 months ago
2005
IEEE
Tensor topology is useful in providing a simplified and yet detailed representation of a tensor field. Recently the field of 3D tensor topology is advanced by the discovery that d...