3938 search results - page 139 / 788 » Interactive Protocols on the Reals |
84
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
106
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
Interactive Internet Applications that rely on sequential streams for lossless data exchange often use retransmission protocols (e.g. TCP) for reliability and the guarantee of seq...
123
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
116
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Contemporary lifestyle has become increasingly sedentary: little physical (sports, exercises) and much sedentary (TV, computers) activity. The nature of sedentary activity is self...
VIS
2004
IEEE
16 years 2 months ago
2004
IEEE
We present a novel method to encode four data channels in a volumetric data set, and render it at interactive frame rates with maximum intensity projection (MIP) using textured po...