Sciweavers

13841 search results - page 420 / 2769
» Algorithms and Constraint Programming
Sort
View
ICDCS
2010
IEEE
15 years 10 months ago
Deployment of a Reinforcement Backbone Network with Constraints of Connection and Resources
In recent years, we have seen a surge of interest in enabling communications over meshed wireless networks. Particularly, supporting peer-to-peer communications over a multi-hop w...
Peng Wei, Shan Chu, Xin Wang, Yu Zhou
CSCLP
2005
Springer
16 years 10 days ago
A CSP Search Algorithm with Reduced Branching Factor
This paper presents an attempt to construct a ”practical” CSP algorithm that assigns a variable with 2 values at every step. Such a strategy has been successfully used for cons...
Igor Razgon, Amnon Meisels
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
ICHIT
2009
Springer
16 years 1 months ago
A genetic algorithm approach for a constrained employee scheduling problem as applied to employees at mall type shops
In this application of artificial intelligence to a real-world problem, the constrained scheduling of employee resourcing for a mall type shop is solved by means of a genetic algo...
Adrian Brezulianu, Monica Fira, Lucian Fira
CSB
2005
IEEE
118views Bioinformatics» more  CSB 2005»
16 years 15 days ago
Gene Teams with Relaxed Proximity Constraint
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...
Sun Kim, Jeong-Hyeon Choi, Jiong Yang