3233 search results - page 354 / 647 » Rule Modeling and Markup |
139
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we describe our ongoing work on modelling urban encounters by extending Conway's Game of Life. We develop our model based on empirical data collected using a Ta...
172
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
168
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The bacterial genome is well understood by biologists. Although its efficiency and adaptability should make it a good model for evolutionary algorithms, the bacterial ...
165
click to vote
FMCAD
2007
Springer
16 years 27 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
174
click to vote
CIMCA
2005
IEEE
16 years 11 days ago
2005
IEEE
We develop a biologically motivated oscillatory network model and related dynamical synchronizationbased method of image segmentation. The first version of successive segmentation...