4099 search results - page 402 / 820 » A Framework for Interactive Proof |
189
click to vote
PCM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper I will outline an augmented reality system based on high resolution omni-directional motion image capture, an immersive interactive projection environment, the iDome ...
198
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
186
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
199
click to vote
GBRPR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
207
click to vote
KES
2007
Springer
16 years 28 days ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...