1805 search results - page 72 / 361 » A Theory of Closure Operators |
147
click to vote
CPAIOR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
151
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
117
click to vote
ENTCS
2008
15 years 4 months ago
2008
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
142
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
125
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...