1941 search results - page 338 / 389 » Reasoning about Computations Using Two-Levels of Logic |
ADHOCNOW
2008
Springer
15 years 6 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
106
click to vote
FPL
2000
Springer
15 years 3 months ago
2000
Springer
Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better...
AUSAI
2008
Springer
15 years 1 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...