4592 search results - page 359 / 919 » Framework for Studying Substitution |
198
click to vote
WADT
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
185
click to vote
DPPI
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
176
click to vote
MM
2003
ACM
16 years 26 days ago
2003
ACM
Combining search results from multimedia sources is crucial for dealing with heterogeneous multimedia data, particularly in multimedia retrieval where a final ranked list of item...
184
click to vote
ICCS
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
156
click to vote
FOSSACS
2001
Springer
16 years 3 days ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...