Sciweavers

8780 search results - page 136 / 1756
» On the Feasibility of Consistent Computations
Sort
View
SSDBM
2005
IEEE
132views Database» more  SSDBM 2005»
16 years 18 days ago
Co-Scheduling of Computation and Data on Computer Clusters
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
Alexandru Romosan, Doron Rotem, Arie Shoshani, Der...
CRYPTO
2011
Springer
207views Cryptology» more  CRYPTO 2011»
14 years 6 months ago
Secure Computation on the Web: Computing without Simultaneous Interaction
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
Shai Halevi, Yehuda Lindell, Benny Pinkas
274
Voted
CCA
2009
Springer
15 years 11 months ago
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interv
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...
Vladik Kreinovich
169
Voted
IJCAI
1989
15 years 8 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
191
Voted
COR
2010
129views more  COR 2010»
15 years 5 months ago
Flexible solutions in disjunctive scheduling: General formulation and study of the flow-shop case
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
Mohamed Ali Aloulou, Christian Artigues