UNI-MB - logo
UMNIK - logo
 

Search results

Basic search    Advanced search   
Search
request
  Instructions for searching through e-resources
Library

Currently you are NOT authorised to access e-resources UM. For full access, REGISTER.

42 43 44
hits: 432
431.
  • Automated Methods for Provi... Automated Methods for Proving Program Termination and Liveness
    Rybalchenko, Andrey 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009-Sept.
    Conference Proceeding

    Proving program termination is an important step towards ensuring software reliability. The programmers expect that the majority of code fragments, including procedures, event handles, or other ...
Full text
432.
  • Towards a General Framework... Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management
    Beierle, Christoph; Kern-Isberner, Gabriele; Sauerwald, Kai ... KI. Künstliche Intelligenz (Oldenbourg), 6/3, Volume: 33, Issue: 1
    Magazine Article

    While humans have developed extremely effective ways of forgetting outdated or currently irrelevant information, freeing them to process ever-increasing amounts of information, there seems to be a ...
Full text

Load filters

Saved searches can be viewed in the list My searches.
The changes made to the saved search were saved successfully.

Save search