Sciweavers

4631 search results - page 685 / 927
» Experiences with an Environment Generation System
Sort
View
COMCOM
2004
177views more  COMCOM 2004»
15 years 6 months ago
Analysis of SIP-based mobility management in 4G wireless networks
Providing seamless mobility support is one of the most challenging problems towards the system integration of fourth generation (4G) wireless networks. Because of the transparency...
Nilanjan Banerjee, Wei Wu, Kalyan Basu, Sajal K. D...
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 4 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
SGAI
2010
Springer
15 years 4 months ago
Extending SATPLAN to Multiple Agents
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...
Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos M...
HCI
2009
15 years 4 months ago
Considerations for Designing Response Quantification Procedures in Non-traditional Psychophysiological Applications
Abstract. Psychophysiological assessment in the context of virtual environments is a promising means for benchmarking the efficacy and ecological validity of virtual reality scenar...
A. V. Iyer, L. D. Cosand, Christopher G. Courtney,...
VR
2011
IEEE
329views Virtual Reality» more  VR 2011»
14 years 10 months ago
Document search support by making physical documents transparent in projection-based mixed reality
Abstract This paper presents Limpid Desk, which supports document search on a physical desktop by making the upper layer of a document stack transparent in a projection-based mixed...
Daisuke Iwai, Kosuke Sato