3653 search results - page 487 / 731 » On Recognizable Timed Languages |
138
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
153
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
183
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
This paper aims to show that Constraint Programming can be an efficient technique to solve a well-known combinatorial optimization problem: the search for a maximum clique in a gra...
174
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
162
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...