1802 search results - page 28 / 361 » Complexity Theory for Operators in Analysis |
173
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
157
Voted
ENTCS
2010
15 years 5 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
124
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
163
Voted
SMI
2003
IEEE
15 years 10 months ago
2003
IEEE
Partitioning is a fundamental operation on graphs. In this paper we briefly review the basic concepts of graph partitioning and its relationship to digital mesh processing. We als...
160
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...