1193 search results - page 123 / 239 » A primer of simple theories |
168
click to vote
SIMPRA
2008
15 years 5 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
166
click to vote
PE
2010
Springer
15 years 4 months ago
2010
Springer
This paper examines a discrete-time queuing system with applications to telecommunications traffic. The arrival process is a particular Markov modulated process which belongs to t...
215
click to vote
TCS
2010
15 years 4 months ago
2010
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...
215
click to vote
TPLP
2010
15 years 4 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
161
click to vote
ACL
2010
15 years 4 months ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...