3239 search results - page 449 / 648 » A Logical Process Calculus |
134
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
127
Voted
FPGA
2007
ACM
15 years 9 months ago
2007
ACM
We present an architecture for a synthesizable datapathoriented Field Programmable Gate Array (FPGA) core which can be used to provide post-fabrication flexibility to a Systemon-...
131
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
213
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
116
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...