2519 search results - page 292 / 504 » Reasoning with Textual Cases |
144
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
151
click to vote
POLICY
2007
Springer
16 years 21 days ago
2007
Springer
A VoIP PBX supports flexible call handling functionality for selective forwarding, cost based outward call routing, recording calls etc. Both users and administrators need a flexi...
138
click to vote
RE
2007
Springer
16 years 21 days ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
180
click to vote
RE
2007
Springer
16 years 21 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
164
click to vote
RULEML
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...