Sciweavers

348 search results - page 46 / 70
» Experiments with Reasoning for Temporal Relations between Ev...
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 6 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
FIS
2008
13 years 10 months ago
Towards an Ontological Foundation for Services Science
Most of the efforts conducted on services nowadays are focusing on aspects related to data and control flow, often disregarding the main goal of the future Internet of services, na...
Roberta Ferrario, Nicola Guarino
ICDCS
2009
IEEE
14 years 6 months ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han
FGR
2004
IEEE
105views Biometrics» more  FGR 2004»
14 years 14 days ago
Particle Filtering with Factorized Likelihoods for Tracking Facial Features
In the recent years particle filtering has been the dominant paradigm for tracking facial and body features, recognizing temporal events and reasoning in uncertainty. A major prob...
Ioannis Patras, Maja Pantic
TRECVID
2007
13 years 10 months ago
MSRA-USTC-SJTU AT TRECVID 2007: HIGH-LEVEL FEATURE EXTRACTION AND SEARCH
This paper describes the MSRA-USTC-SJTU experiments for TRECVID 2007. We performed the experiments in high-level feature extraction and automatic search tasks. For high-level feat...
Tao Mei, Xian-Sheng Hua, Wei Lai, Linjun Yang, Zhe...