5326 search results - page 927 / 1066 » On what we can ensure |
200
click to vote
EUROSSC
2007
Springer
16 years 17 days ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
182
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
180
click to vote
IVA
2007
Springer
16 years 16 days ago
2007
Springer
Interactive drama allows people to participate actively in a dynamically unfolding story, by playing a character or by exerting directorial control. One of the central challenges f...
136
click to vote
MLG
2007
Springer
16 years 16 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
165
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...