4586 search results - page 279 / 918 » Computing stable models in parallel |
137
click to vote
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
138
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
143
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The fact that graphics processors (GPUs) are today’s most powerful computational hardware for the dollar has motivated researchers to utilize the ubiquitous and powerful GPUs fo...
145
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
150
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...