Sciweavers

3679 search results - page 382 / 736
» Hybrid Semantic Analysis
Sort
View
RTAS
2008
IEEE
16 years 1 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
ICIP
2006
IEEE
16 years 8 months ago
Video Event Detection using ICA Mixture Hidden Markov Models
In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
Jian Zhou, Xiao-Ping Zhang
ICSE
2004
IEEE-ACM
16 years 6 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich
ADMA
2008
Springer
483views Data Mining» more  ADMA 2008»
16 years 1 months ago
A Comparative Study of Correlation Measurements for Searching Similar Tags
In recent years, folksonomy becomes a hot topic in many research fields such as complex systems, information retrieval, and recommending systems. It is essential to study the seman...
Kaikuo Xu, Yu Chen, Yexi Jiang, Rong Tang, Yintian...
IRI
2007
IEEE
16 years 1 months ago
SRG: A Digital Document-Enhanced Service Oriented Research Grid
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
Geoffrey Fox, Ahmet Fatih Mustacoglu, Ahmet E. Top...