959 search results - page 6 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ICFCA
2007
Springer
13 years 11 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
COLT
2010
Springer
13 years 6 months ago
2010
Springer
In the present paper, we introduce a variant of Gold-style learners that is not required to infer precise descriptions of the languages in a class, but that must find descriptive ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE