11740 search results - page 281 / 2348 » More Problems in Rewriting |
158
click to vote
ADAEUROPE
2007
Springer
16 years 24 days ago
2007
Springer
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
133
click to vote
PREMI
2005
Springer
16 years 3 days ago
2005
Springer
A considerable amount of research in case-based reasoning (CBR) has recently focused on conversational CBR as a means of providing more effective support for interactive problem ...
131
click to vote
COLT
2004
Springer
16 years 16 hour ago
2004
Springer
We define the problem of inferring a “mixture of Markov chains” based on observing a stream of interleaved outputs from these chains. We show a sharp characterization of the i...
119
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we discuss how the focus in document analysis, generally speaking, and in graphics recognition more specifically, has moved from re-engineering problems to indexin...
163
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...