Sciweavers

810 search results - page 53 / 162
» Continuous cartogram construction
Sort
View
OIR
2011
226views Neural Networks» more  OIR 2011»
12 years 10 months ago
Understanding Knowledge Sharing in Virtual Communities: An Integration of Expectancy Disconfirmation and Justice Theories
This paper integrates expectancy disconfirmation theory and justice theory to construct a model for investigating the motivations behind people’s knowledge sharing in open profe...
Chao-Min Chiu, Eric T. G. Wang, Fu-Jong Shih, Yi-W...
ICSM
2006
IEEE
14 years 1 months ago
Dynamic Updating of Software Systems Based on Aspects
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...
Susanne Cech Previtali, Thomas R. Gross
MMM
2006
Springer
107views Multimedia» more  MMM 2006»
14 years 1 months ago
History-based visual mining of semi-structured audio and text
Accessing specific or salient parts of multimedia recordings remains a challenge as there is no obvious way of structuring and representing a mix of space-based and timebased med...
Matt-Mouley Bouamrane, Saturnino Luz, Masood Masoo...
CSL
2005
Springer
14 years 1 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 14 days ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...