2290 search results - page 383 / 458 » Extensible Protected Types |
112
click to vote
TMC
2010
15 years 28 days ago
2010
—Wireless mesh networks are a promising area for the deployment of new wireless communication and networking technologies. In this paper, we address the problem of enabling effec...
192
Voted
WRLA
2010
15 years 27 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
229
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Genetic algorithms are a population-based Meta heuristics. They have been successfully applied to many optimization problems. However, premature convergence is an inherent charact...
173
Voted
CVPR
2010
IEEE
15 years 17 days ago
2010
IEEE
We investigate how to discover all common visual patterns within two sets of feature points. Common visual patterns generally share similar local features as well as similar spati...
127
Voted
GI
2010
Springer
15 years 16 days ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...