12774 search results - page 2225 / 2555 » A Framework for Proof Systems |
177
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
182
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Application designers of collaborative distributed Virtual Environments must account for the influence of the network connection and its detrimental effects on user performance. ...
181
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
251
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this chapter we present an overview of Web personalization process viewed as an application of data mining requiring support for all the phases of a typical data minin...
161
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...