1922 search results - page 352 / 385 » Systems biology, models, and concurrency |
SEFM
2006
IEEE
14 years 5 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
VLDB
2002
ACM
13 years 10 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
ICPR
2006
IEEE
15 years 1 days ago
2006
IEEE
In this report we present a robust method to recover 3D position and orientation (pose) of a moving head using a single stationary camera. Head pose is recovered by formulating th...
ISBI
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper focuses on the discussion of using thermal infrared imaging (TIR) in early detection of breast cancer. We use the term thermal texture maps to represent the images captu...
EDBT
2006
ACM
14 years 11 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...