532 search results - page 104 / 107 » Process Algebras for Quantitative Analysis |
ICDM
2008
IEEE
14 years 2 months ago
2008
IEEE
Modern applications such as Internet traffic, telecommunication records, and large-scale social networks generate massive amounts of data with multiple aspects and high dimensiona...
AAAI
2006
13 years 9 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Portable high-quality sports cameras (e.g. head or helmet mounted) built for recording dynamic first-person video footage are becoming a common item among many sports enthusiasts...
TACAS
2004
Springer
14 years 29 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
AIPR
2002
IEEE
14 years 18 days ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...