1759 search results - page 231 / 352 » A guide to membrane computing |
127
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
154
click to vote
CVBIA
2005
Springer
15 years 9 months ago
2005
Springer
Standard image based segmentation approaches perform poorly when there is little or no contrast along boundaries of different regions. In such cases, segmentation is largely perfor...
131
click to vote
ECAL
2005
Springer
15 years 9 months ago
2005
Springer
The Baldwin Effect indicates that individually learned behaviours acquired during an organism’s lifetime can influence the evolutionary path taken by a population, without any di...
127
click to vote
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
Communication of one’s location as part of a social discourse is common practice, and we use a variety of technologies to satisfy this need. This practice suggests a potentially ...
153
click to vote
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...