Sciweavers

529 search results - page 42 / 106
» Causal Time Calculus
Sort
View
GECCO
2003
Springer
415views Optimization» more  GECCO 2003»
15 years 7 months ago
Evolutionary Algorithms for Two Problems from the Calculus of Variations
Abstract. A brachistochrone is the path along which a weighted particle falls most quickly from one point to another, and a catenary is the smooth curve connecting two points whose...
Bryant A. Julstrom
124
Voted
JOT
2010
97views more  JOT 2010»
15 years 8 days ago
Towards a theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
Bertrand Meyer
112
Voted
ICASSP
2009
IEEE
15 years 8 months ago
Real-time dynamic MR image reconstruction using Kalman Filtered Compressed Sensing
In recent work, Kalman Filtered Compressed Sensing (KF-CS) was proposed to causally reconstruct time sequences of sparse signals, from a limited number of “incoherent” measure...
Chenlu Qiu, Wei Lu, Namrata Vaswani
ECAI
2010
Springer
15 years 2 months ago
Sound and Complete Landmarks for And/Or Graphs
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
Emil Keyder, Silvia Richter, Malte Helmert
99
Voted
ICFP
2010
ACM
15 years 2 months ago
Distance makes the types grow stronger: a calculus for differential privacy
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
Jason Reed, Benjamin C. Pierce