2288 search results - page 345 / 458 » An integrated system for genetic analysis |
169
click to vote
IGARSS
2009
15 years 4 months ago
2009
This paper presents experiments with the ORFEO ToolBox (OTB) developed by the CNES in the context of the Brussels project ARMURS about map updating. Depending on the availability ...
158
click to vote
IJDET
2010
15 years 3 months ago
2010
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...
156
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
207
click to vote
CAISE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
149
click to vote
INFOCOM
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—Numerous authentication schemes have been proposed in the past for protecting communication authenticity and integrity in wireless sensor networks. Most of them however ...