162 search results - page 18 / 33 » Advanced Techniques for Answer Set Programming |
ICS
1997
Tsinghua U.
13 years 12 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
PODS
2010
ACM
14 years 24 days ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
ICCD
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper explores statistical simulation as a fast simulation technique for driving chip multiprocessor (CMP) design space exploration. The idea of statistical simulation is to ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...