Sciweavers

3025 search results - page 190 / 605
» A User-Centered Location Model
Sort
View
157
Voted
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
15 years 8 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
Miroslav N. Velev, Randal E. Bryant
ASWC
2006
Springer
15 years 6 months ago
A Semantic Search Conceptual Model and Application in Security Access Control
Abstract. We propose a conceptual model for semantic search and implement it in security access control. The model provides security access control to extend the search capabilitie...
Kunmei Wen, Zhengding Lu, Ruixuan Li, Xiaolin Sun,...
CVPR
2008
IEEE
15 years 6 months ago
An integrated background model for video surveillance based on primal sketch and 3D scene geometry
This paper presents a novel integrated background model for video surveillance. Our model uses a primal sketch representation for image appearance and 3D scene geometry to capture...
Wenze Hu, Haifeng Gong, Song Chun Zhu, Yongtian Wa...
WSC
2004
15 years 5 months ago
Simulation Model of the Telemedicine Program
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
Juan Mauricio Lach, Ricardo Manuel Vázquez
ATAL
2010
Springer
15 years 5 months ago
How important are updating schemes in multi-agent systems? An illustration on a multi-turmite model
It is to date an open question to know how the updating methods affect the evolution of a multi-agent system. This question has been tackled for various complex systems such as ce...
Nazim Fatès, Vincent Chevrier