391 search results - page 15 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
AB
2007
Springer
14 years 3 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
FTCS
1998
13 years 10 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
GIS
2003
ACM
14 years 2 months ago
2003
ACM
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...