Sciweavers

2014 search results - page 260 / 403
» A P2P Approach for Global Computing
Sort
View
ICIP
1999
IEEE
15 years 8 months ago
Local Wavelets Decomposition for 3-D Surfaces
We propose a wavelet based local subdivision of 3-D surfaces, which can be effectively applied to a mesh with complex and high curvature faces. The proposed approach is an extensi...
Yun-Sang Kim, Sébastien Valette, Ho-Youl Ju...
DDECS
2006
IEEE
146views Hardware» more  DDECS 2006»
15 years 8 months ago
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexan...
ECAI
2006
Springer
15 years 8 months ago
Heuristic Bidding Strategies for Multiple Heterogeneous Auctions
Abstract. This paper investigates utility maximising bidding heuristics for agents that participate in multiple heterogeneous auctions, in which the auction format and the starting...
David C. K. Yuen, Andrew Byde, Nicholas R. Jenning...
TABLEAUX
1995
Springer
15 years 8 months ago
A Connection Based Proof Method for Intuitionistic Logic
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
Jens Otten
WSC
2008
15 years 6 months ago
A simulation based optimization algorithm for slack reduction and workforce scheduling
In an assembly line with high labor proportion, the workforce planning and scheduling is a very complex problem. At the background of increasing labor costs, it is very important ...
Daniel Noack, Oliver Rose