3348 search results - page 280 / 670 » Around and Around |
171
click to vote
ICALT
2009
IEEE
16 years 2 months ago
2009
IEEE
Personal Development Plans (PDP) have positive effects in learners’ motivation and confidence since they enable individuals to reflect upon their own learning and to plan for th...
219
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Local features are widely used for content-based image retrieval and object recognition. We present an efficient method for encoding digital images suitable for local feature extr...
199
click to vote
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
234
click to vote
ISCC
2009
IEEE
16 years 2 months ago
2009
IEEE
Routing protocols for Wireless Sensor Networks (WSN) face three major performance challenges. The first one is an efficient use of bandwidth that minimizes the transfer delay of p...
190
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...