2838 search results - page 467 / 568 » Verifying Controlled Components |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
15 years 4 months ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Skin is an essential component of artificial hands. It enables the use of object affordance for recognition and control, but due to its intrinsic locality and low density of c...
ISCAS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Non-negative Matrix factorization (NMF) has increasingly been used as a tool in signal processing in the last couple of years. NMF, like independent component analysis (ICA) is...
SIES
2008
IEEE
15 years 4 months ago
2008
IEEE
—Chip multiprocessing design is an emerging trend for embedded systems. In this paper, we introduce a Java multiprocessor system-on-chip called JopCMP. It is a symmetric shared-m...