Sciweavers

1231 search results - page 239 / 247
» Semantic Caching for Web Services
Sort
View
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
14 years 1 months ago
TV Commercial Classification by using Multi-Modal Textual Information
In this paper, we propose an approach for TV commercial video classification by the categories of advertised products or services (e.g. automobiles, healthcare products, etc). Sin...
Yantao Zheng, Lingyu Duan, Qi Tian, Jesse S. Jin
FOSSACS
2005
Springer
14 years 28 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
BMCBI
2008
83views more  BMCBI 2008»
13 years 7 months ago
Terminologies for text-mining; an experiment in the lipoprotein metabolism domain
Background: The engineering of ontologies, especially with a view to a text-mining use, is still a new research field. There does not yet exist a well-defined theory and technolog...
Dimitra Alexopoulou, Thomas Wächter, Laura Pi...
PERCOM
2005
ACM
14 years 7 months ago
Exploiting Information Relationships for Access Control
Pervasive computing environments offer a multitude of information services that provide potentially complex types of information. Therefore, when running access control for sensit...
Urs Hengartner, Peter Steenkiste
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 1 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...