Sciweavers

3052 search results - page 31 / 611
» On the Verification of the Gravity Model Used for Mobility M...
Sort
View
ICRA
2006
IEEE
185views Robotics» more  ICRA 2006»
14 years 1 months ago
A Cognitive Modeling of Space using Fingerprints of Places for Mobile Robot Navigation
- In this work we address the problem of perception, spatial cognition and topological navigation for a mobile robot. The objective of this work is to enable the navigation of an a...
Adriana Tapus, Roland Siegwart
COMSNETS
2012
168views more  COMSNETS 2012»
12 years 3 months ago
Limitations of scanned human copresence encounters for modelling proximity-borne malware
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
James Mitchell, Eamonn O'Neill, Gjergji Zyba, Geof...
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
14 years 4 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
AVBPA
2005
Springer
248views Biometrics» more  AVBPA 2005»
14 years 1 months ago
A New On-Line Model Quality Evaluation Method for Speaker Verification
The accurate selection of the utterances is very important to obtain right estimated speaker models in speaker verification. In this sense, it is important to determine the quality...
Javier R. Saeta, Javier Hernando
SEKE
2005
Springer
14 years 1 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark...