2777 search results - page 212 / 556 » Example centric programming |
BCSHCI
2008
15 years 2 months ago
2008
Messaging with new media should be fun, but sometimes participating in conversations can become a burden for users due to the effort required. In this paper, examples of such situ...
95
Voted
WSC
1998
15 years 2 months ago
1998
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
128
Voted
NFM
2011
14 years 8 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
164
Voted
AADA
2011
14 years 1 months ago
2011
We introduce a variational approach to image segmentation based on sparse coverings of image domains by shape templates. The objective function combines a data term that achieves ...
221
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...