445 search results - page 33 / 89 » A Systematic Construction of Abstract Domains |
SIU
2002
13 years 8 months ago
2002
Abstract. In order to verify and test the performance of new packing algorithms relative to existing algorithms, test problems are needed. The scope of published test instances for...
TIT
2002
13 years 8 months ago
2002
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
AOSE
2004
Springer
14 years 2 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
Markov logic networks (MLNs) are a statistical relational model that consists of weighted firstorder clauses and generalizes first-order logic and Markov networks. The current sta...
WISE
2002
Springer
14 years 1 months ago
2002
Springer
Taxonomies are a well-established instrument for organizing and accessing resources in Information, Content and Knowledge Management (ICKM) systems. Furthermore, they contribute t...