Sciweavers

3718 search results - page 558 / 744
» IMPS: System Description
Sort
View
IFM
2004
Springer
15 years 12 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
PRICAI
2004
Springer
15 years 12 months ago
Classifying Human Actions Using an Incomplete Real-Time Pose Skeleton
Currently, most human action recognition systems are trained with feature sets that have no missing data. Unfortunately, the use of human pose estimation models to provide more des...
Patrick Peursum, Hung Hai Bui, Svetha Venkatesh, G...
SEKE
2004
Springer
15 years 12 months ago
Automatic Mapping of OWL Ontologies into Java
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
Aditya Kalyanpur, Daniel Jiménez Pastor, St...
APSEC
2003
IEEE
15 years 12 months ago
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment
The programmable service for Internet telephony (VoIP) allows end-users or third parties to define their own customized services. However, it imposes a serious drawback that serv...
Pattara Leelaprute, Masahide Nakamura, Ken-ichi Ma...
HICSS
2003
IEEE
128views Biometrics» more  HICSS 2003»
15 years 12 months ago
IRTL (Information Resource Transaction Layer) Middleware Design for P2P and Open GRID Services
In this paper we present an IRTL (Information Resource Transaction Layer) middleware architecture that addresses some of the important technical challenges associated with heterog...
Junseok Hwang, Praveen Aravamudham, Elizabeth D. L...