6762 search results - page 653 / 1353 » Multiple drafts model |
234
click to vote
DSVIS
2008
Springer
15 years 9 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
255
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
200
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
205
click to vote
KDD
2005
ACM
16 years 29 days ago
2005
ACM
Data clustering represents an important tool in exploratory data analysis. The lack of objective criteria render model selection as well as the identification of robust solutions...
245
click to vote
VISUALIZATION
2003
IEEE
16 years 22 days ago
2003
IEEE
We introduce a method for the animation of fire propagation and the burning consumption of objects represented as volumetric data sets. Our method uses a volumetric fire propaga...