1173 search results - page 135 / 235 » Weighted Distributed Systems and Their Logics |
ML
2008
ACM
13 years 10 months ago
2008
ACM
Abstract We present a new margin-based approach to first-order rule learning. The approach addresses many of the prominent challenges in first-order rule learning, such as the comp...
DLOG
2010
13 years 8 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
FPGA
2004
ACM
14 years 3 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
An atlas defines a common coordinate system to enable the comparison of data from different subjects. Key in the development of a brain atlas are the identification of a common ...