Sciweavers

14336 search results - page 112 / 2868
» Analytical simulation modeling
Sort
View
JAR
2007
77views more  JAR 2007»
15 years 3 months ago
Superposition-based Equality Handling for Analytic Tableaux
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
Martin Giese
TVCG
2011
198views more  TVCG 2011»
14 years 10 months ago
Forecasting Hotspots - A Predictive Analytics Approach
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
Ross Maciejewski, Ryan Hafen, Stephen Rudolph, Ste...
SIGMOD
2011
ACM
210views Database» more  SIGMOD 2011»
14 years 6 months ago
A platform for scalable one-pass analytics using MapReduce
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...
Boduo Li, Edward Mazur, Yanlei Diao, Andrew McGreg...
BMVC
1997
15 years 5 months ago
Analytical Solution of Shape from Shading Problem
A new geometrical approach in solving the shape from shading problem of Lambertian model is discussed. It is shown that this problem is bound by two local constraints through the ...
Seong Ik Cho, Hideo Saito, Shinji Ozawa
ICONIP
2010
15 years 1 months ago
Analytical Approach to Noise Effects on Synchronization in a System of Coupled Excitable Elements
Abstract. We report relationships between the effects of noise and applied constant currents on the behavior of a system of excitable elements. The analytical approach based on the...
Keiji Okumura, Masatoshi Shiino