Sciweavers

787 search results - page 76 / 158
» Fully procedural graphics
Sort
View
ICDAR
2009
IEEE
14 years 4 months ago
Inductive Logic Programming for Symbol Recognition
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
K. C. Santosh, Bart Lamiroy, Jean-Philippe Ropers
ICIP
2008
IEEE
14 years 4 months ago
Iterative pre- and post-processing for MRC layers of scanned documents
The Mixed Raster Content (MRC) document compression standard (ITU T.44) specifies a multi-layer multi-resolution representation of a compound document. The model is very efficie...
Alexandre Zaghetto, Ricardo L. de Queiroz
ADAEUROPE
2007
Springer
14 years 4 months ago
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
Alejandro R. Mosteo, Luis Montano
CAV
2007
Springer
98views Hardware» more  CAV 2007»
14 years 4 months ago
UPPAAL-Tiga: Time for Playing Games!
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
Gerd Behrmann, Agnès Cougnard, Alexandre Da...
POLICY
2007
Springer
14 years 4 months ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka