1364 search results - page 232 / 273 » Comparative Branching-Time Semantics |
147
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
111
click to vote
WSC
2004
15 years 5 months ago
2004
Routing table storage demands pose a significant obstacle for large-scale network simulation. On-demand computation of routes can alleviate those problems for models that do not r...
115
Voted
AAAI
2000
15 years 5 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
132
click to vote
ACL
1993
15 years 5 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
136
Voted
NIPS
1993
15 years 5 months ago
1993
We propose a learning algorithm for a variable memory length Markov process. Human communication, whether given as text, handwriting, or speech, has multi characteristic time scal...