8021 search results - page 1499 / 1605 » A Type System for Tom |
TCS
2002
13 years 8 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
NAR
2007
13 years 8 months ago
2007
Frequent outbreaks of highly pathogenic avian influenza and the increasing data available for comparative analysis require a central database specialized in influenza viruses (IVs...
NETWORK
2007
13 years 8 months ago
2007
Moving toward 4G, wireless ad hoc networks receive growing interest due to users’ provisioning of mobility, usability of services, and seamless communications. In ad hoc network...
PAMI
2007
13 years 8 months ago
2007
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
BMCBI
2008
13 years 7 months ago
2008
Background: Recent advances in global genomic profiling methodologies have enabled multidimensional characterization of biological systems. Complete analysis of these genomic prof...