2364 search results - page 468 / 473 » An Engine for Computing Well-Founded Models |
FSTTCS
2009
Springer
15 years 6 months ago
2009
Springer
ABSTRACT. We study functionally private approximations. An approximation function g is functionally private with respect to f if, for any input x, g(x) reveals no more information ...
PETRA
2009
ACM
15 years 6 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
104
Voted
VRST
2009
ACM
15 years 6 months ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
112
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...