364 search results - page 41 / 73 » A UML-integrated Test Description Language for Component Tes... |
MEMOCODE
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
COLING
2000
14 years 12 months ago
2000
English bed This paper describes a framework for multilingual /bEd/ inheritance-based lexical representation which al- rib lows sharing of information across languages at /rib/ all...
107
click to vote
RE
2008
Springer
14 years 10 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the character recognition process from printed documents containing Hindi and Telugu text. Hindi and Telugu are among the most popular languages in India. The...