4099 search results - page 184 / 820 » A Framework for Interactive Proof |
129
click to vote
ETFA
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper, we present the technical details and the challenges we faced during the development and evaluation phases of our wearable indoor guiding system which consists of a ...
124
click to vote
VLBV
2005
Springer
15 years 11 months ago
2005
Springer
A lifelike human face can enhance interactive applications by providing straightforward feedback to and from the users and stimulating emotional responses from them. An expressive...
152
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
265
click to vote
CGF
2011
14 years 9 months ago
2011
In this paper, we present a rapid prototyping framework for GPU-based volume rendering. Therefore, we propose a dynamic shader pipeline based on the SuperShader concept and illust...
141
click to vote
ICEIS
2008
IEEE
15 years 12 months ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...