2673 search results - page 295 / 535 » Guided Static Analysis |
141
click to vote
HICSS
2009
IEEE
16 years 29 days ago
2009
IEEE
A common problem in many user studies is gathering natural user behavior unintrusively over a long period of time. We describe a methodology for conducting passive longitudinal st...
154
Voted
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract— This paper presents a novel method for sensorbased exploration of unknown environments by a general robotic system equipped with multiple sensors. The method is based o...
197
click to vote
CAISE
2009
Springer
16 years 22 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...
153
Voted
UM
2009
Springer
16 years 21 days ago
2009
Springer
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...
161
click to vote
CF
2009
ACM
16 years 20 days ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...