2519 search results - page 364 / 504 » Reasoning with Textual Cases |
168
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
156
click to vote
KES
2007
Springer
15 years 10 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...
148
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
133
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
120
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...