2290 search results - page 383 / 458 » Extensible Protected Types |
111
click to vote
TMC
2010
15 years 19 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...
188
click to vote
WRLA
2010
15 years 18 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...
223
click to vote
CORR
2010
Springer
15 years 17 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...
170
click to vote
CVPR
2010
IEEE
15 years 8 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...
122
click to vote
GI
2010
Springer
15 years 7 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...