3717 search results - page 544 / 744 » Representing Multiple Theories |
167
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we describe a resource matcher (RM) developed for the on-line resource matching in heterogeneous grid environments. RM is based on the principles of Evolutionary Al...
132
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
– In this paper, we proposed an improved algorithm for the multi-robot complete coverage problem. Real world applications such as lawn mowing, chemical spill clean-up, and humani...
160
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Network resource management and control is a complex problem that requires robust, possibly intelligent, control methodologies to obtain satisfactory performance. While many Activ...
121
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
Network monitoring is a major building block for many domains in communication networks. Besides typical accounting mechanisms and the emerging area of charging in next generation...
146
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...