Sciweavers

6582 search results - page 1100 / 1317
» The focus of attention problem
Sort
View
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 5 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
GIS
2010
ACM
15 years 5 months ago
Verifying spatial queries using Voronoi neighbors
With the popularity of location-based services and the abundant usage of smart phones and GPS enabled devices, the necessity of outsourcing spatial data has grown rapidly over the...
Ling Hu, Wei-Shinn Ku, Spiridon Bakiras, Cyrus Sha...
ICFEM
2010
Springer
15 years 5 months ago
Automating Cut-off for Multi-parameterized Systems
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
Youssef Hanna, David Samuelson, Samik Basu, Hrides...
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 5 months ago
Cooperative caging using autonomous aquatic surface vehicles
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
Filippo Arrichiello, Hordur Kristinn Heidarsson, S...
IEEECIT
2010
IEEE
15 years 5 months ago
Smartphone Software Development Course Design Based on Android
—Mobile computing is popular when wireless network has been deployed almost everywhere. Smartphones have been the important tools in our society for the abundant functions includ...
Wei Hu, Tianzhou Chen, Qingsong Shi, Xueqing Lou
« Prev « First page 1100 / 1317 Last » Next »