Sciweavers

1288 search results - page 24 / 258
» Integrating formal models into the programming languages cou...
Sort
View
ICDAR
2009
IEEE
14 years 2 months ago
Integrating Language Model in Handwritten Chinese Text Recognition
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
Qiu-Feng Wang, Fei Yin, Cheng-Lin Liu
OOPSLA
2007
Springer
14 years 1 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
14 years 2 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
ER
1993
Springer
163views Database» more  ER 1993»
13 years 11 months ago
Using Conceptual Graph Theory to Support Schema Integration
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
Paul Johannesson
CISIS
2008
IEEE
14 years 2 months ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss