110 search results - page 9 / 22 » Language Boxes |
ZUM
1992
Springer
13 years 11 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
CADUI
2006
13 years 8 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Text detection in video images has received increasing attention, particularly in scene text detection in video images, as it plays a vital role in video indexing and information ...
FM
2003
Springer
14 years 18 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...