11436 search results - page 1843 / 2288 » Modeling Real Reasoning |
181
click to vote
EPIA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
184
click to vote
ESTIMEDIA
2007
Springer
16 years 15 days ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
164
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
172
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
179
click to vote
KES
2007
Springer
16 years 14 days ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...