Sciweavers

3736 search results - page 650 / 748
» Generative Programming
Sort
View
ICDAR
2009
IEEE
15 years 3 days ago
Towards Handwritten Mathematical Expression Recognition
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
Ahmad-Montaser Awal, Harold Mouchère, Chris...
ICWN
2009
15 years 2 days ago
Mobile Agents for Wireless Sensor Networks
Abstract-- The next generation of computers will be embossed by ubiquitous systems. The computer will disappear behind daily artifacts and will support people in their everyday lif...
Faruk Bagci, Julian Wolf, Theo Ungerer, Nader Bagh...
IGARSS
2009
15 years 2 days ago
Fog Forecasting, Detection and Monitoring in the UAE using SEVIRI-MSG Data
The UAE location on the edge of a very warm sea and hot and dry desert create the optimal conditions of inland fog forming. The afternoon sea breeze, which is almost a daily event...
Abdulla Bushahab, Ali Al Suwaidi, Hosni Ghedira, K...
FSTTCS
2010
Springer
14 years 11 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
CEC
2010
IEEE
14 years 11 months ago
Improving evolutionary testing by means of efficiency enhancement techniques
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi