3809 search results - page 462 / 762 » Associative language descriptions |
199
Voted
ECWEB
2003
Springer
16 years 20 days ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
201
click to vote
EWSPT
2003
Springer
16 years 20 days ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
185
click to vote
FM
2003
Springer
16 years 20 days ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
197
click to vote
ICVS
2003
Springer
16 years 19 days ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
167
click to vote
IEAAIE
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to realtime data coming from automatic sensors, ...