Sciweavers

8780 search results - page 229 / 1756
» On the Feasibility of Consistent Computations
Sort
View
SAT
2007
Springer
96views Hardware» more  SAT 2007»
16 years 1 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
IJCNN
2006
IEEE
16 years 1 months ago
Job-Shop Scheduling with an Adaptive Neural Network and Local Search Hybrid Approach
— Job-shop scheduling is one of the most difficult production scheduling problems in industry. This paper proposes an adaptive neural network and local search hybrid approach fo...
Shengxiang Yang
ICIC
2005
Springer
16 years 23 days ago
Associativity, Auto-reversibility and Question-Answering on Q'tron Neural Networks
Associativity, auto-reversibility and question-answering are the three intrinsic functions to be investigated for the proposed Q’tron Neural Network (NN) model. A Q’tron NN pos...
Tai-Wen Yue, Mei-Ching Chen
ECRTS
2003
IEEE
16 years 16 days ago
Resource Partitioning among Real-Time Applications
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
Giuseppe Lipari, Enrico Bini
ICRA
1998
IEEE
110views Robotics» more  ICRA 1998»
15 years 11 months ago
Generating Robust Trajectories in the Presence of Ordinary and Linear-Self-Motion Singularities
An algorithm is presented which computes feasible manipulator trajectories along fixed paths in the presence of kinematic singularities. The resulting trajectories are close to mi...
John E. Lloyd, Vincent Hayward