622 search results - page 102 / 125 » Answer Set Programming and Bounded Model Checking |
135
click to vote
STOC
2004
ACM
16 years 2 months ago
2004
ACM
A collaborative filtering system at an e-commerce site or similar service uses data about aggregate user behavior to make recommendations tailored to specific user interests. We d...
108
Voted
IANDC
2010
15 years 13 days ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
110
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
130
Voted
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
105
Voted
APSEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...