8337 search results - page 1454 / 1668 » Reasoning With Characteristic Models |
116
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
153
click to vote
EPIA
2007
Springer
15 years 11 months 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...
137
click to vote
ICLP
2007
Springer
15 years 11 months 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...
144
click to vote
ICLP
2007
Springer
15 years 11 months 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)...
157
click to vote
KES
2007
Springer
15 years 11 months 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...