Sciweavers

1969 search results - page 361 / 394
» Financial Theory 1
Sort
View
PLDI
2010
ACM
15 years 11 months ago
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
Matthew Might, Yannis Smaragdakis, David Van Horn
189
Voted
PODS
2010
ACM
306views Database» more  PODS 2010»
15 years 11 months ago
Optimizing linear counting queries under differential privacy
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...
Chao Li, Michael Hay, Vibhor Rastogi, Gerome Mikla...
COOPIS
2002
IEEE
15 years 10 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
ECSQARU
2009
Springer
15 years 10 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
GI
2009
Springer
15 years 10 months ago
The Human Being as a Servo. Von Feedback Control zur Kybernetik
Abstract: Am Anfang der Kybernetik steht die Erkenntnis Norbert Wieners, dass Lebewesen und Maschinen etwas gemeinsam haben: Ihr Verhalten l¨asst sich als Feedbackprozess beschrei...
Lasse Scherffig