3281 search results - page 499 / 657 » An Approach to use Executable Models for Testing |
82
Voted
SSDBM
2003
IEEE
15 years 3 months ago
2003
IEEE
Many emerging applications benefit from the extraction of geospatial data specified at different resolutions for viewing purposes. Data must also be topologically accurate and up-...
TASLP
2010
14 years 4 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
107
click to vote
CVPR
2012
IEEE
13 years 16 days ago
2012
IEEE
Scene labeling research has mostly focused on outdoor scenes, leaving the harder case of indoor scenes poorly understood. Microsoft Kinect dramatically changed the landscape, show...
ROBOCOMM
2007
IEEE
15 years 4 months ago
2007
IEEE
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...