4117 search results - page 321 / 824 » On the Satisfiability of Complex Constraints |
161
click to vote
CISS
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this first paper of a two-part series, a single-user single-input single-output (SISO) shot-noise-limited Poisson channel is considered over which an information signal is t...
177
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Application-specific customization of the instruction set helps embedded processors achieve significant performance and power efficiency. In this paper, we explore customizatio...
174
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
139
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
BOINC, a middleware system for volunteer computing, involves projects, which distribute jobs, and hosts, which execute jobs. The local (host-level) scheduler addresses two issues:...
163
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...