Sciweavers

457 search results - page 21 / 92
» Hypercomputation: computing more than the Turing machine
Sort
View
TASE
2008
IEEE
14 years 9 months ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
EOR
2007
103views more  EOR 2007»
14 years 9 months ago
Alternative configurations for cutting machines in a tube cutting mill
In a steel tube mill where an endless stream of steel tube is supplied from a manufacturing facility, trim waste is never made regardless of cutting patterns used and the standard...
Iman Hajizadeh, Chi-Guhn Lee
ICPR
2004
IEEE
15 years 10 months ago
Face Detection Using Discriminating Feature Analysis and Support Vector Machine in Video
This paper presents a novel face detection method in video by using Discriminating Feature Analysis (DFA) and Support Vector Machine (SVM). Our method first incorporates temporal ...
Chengjun Liu, Peichung Shih
CIE
2007
Springer
15 years 1 months ago
A Classification of Viruses Through Recursion Theorems
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves ...
CLOUD
2010
ACM
15 years 2 months ago
Lithium: virtual machine storage for the cloud
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
Jacob Gorm Hansen, Eric Jul