3052 search results - page 70 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
Document examiners use a variety of features to analyze a given handwritten document for writer verification. The challenge in the automatic classification of a pair of documents ...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
In this paper a complete strategy for scene modelling from sensory data acquired in a natural environment is defined. This strategy is applied to outdoor mobile robotics and goes f...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Mobile code solutions can improve the performances of applications over the Internet by reducing the amount of data that must be transferred across the network. The research on ge...