2905 search results - page 211 / 581 » Formal Memetic Algorithms |
ESWS
2009
Springer
14 years 5 months ago
2009
Springer
The Semantic Web community has expressed its interest on how the Semantic Web technology can be applied more efficiently in a manner that supports real world applications. Addition...
ICC
2008
IEEE
14 years 5 months ago
2008
IEEE
—MIMO links can significantly improve network throughput by supporting multiple concurrent data streams between a pair of nodes and suppressing wireless interference. In this pa...
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ISMAR
2006
IEEE
14 years 4 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
WABI
2005
Springer
14 years 4 months ago
2005
Springer
—Identifying common patterns among area cladograms that arise in historical biogeography is an important tool for biogeographical inference. We develop the first rigorous formali...