959 search results - page 76 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
TSD
2001
Springer
14 years 17 days ago
2001
Springer
This paper deals with the effective implementation of the new Czech morphological analyser ajka which is based on the algorithmic description of the Czech formal morphology. First...
FM
1997
Springer
14 years 9 days ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
CONCUR
2006
Springer
13 years 12 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
FDL
2006
IEEE
13 years 11 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...