Sciweavers

8780 search results - page 221 / 1756
» On the Feasibility of Consistent Computations
Sort
View
FASE
2010
Springer
16 years 2 months ago
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
APLAS
2009
ACM
16 years 1 months ago
A Short Cut to Optimal Sequences
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
Akimasa Morihata
IJCNN
2008
IEEE
16 years 1 months ago
Financial time series prediction using a support vector regression network
Abstract— This paper presents a novel support vector regression (SVR) network for financial time series prediction. The SVR network consists of two layers of SVR: transformation...
Boyang Li, Jinglu Hu, Kotaro Hirasawa
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
16 years 1 months ago
Context-Based Recommender Systems in Conventional Grocery--An Economic Analysis
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
Daniel Ch. Buser
ICIP
2007
IEEE
16 years 1 months ago
Spatio-Temporal Registration Techniques for Relightable 3D Video
By jointly applying a model-based marker-less motion capture approach and multi-view texture generation 3D Videos of human actors can be reconstructed from multi-view video stream...
Naveed Ahmed, Christian Theobalt, Marcus A. Magnor...