Sciweavers

1081 search results - page 144 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
AINA
2007
IEEE
15 years 10 months ago
OWL-Based Context-Dependent Task Modeling and Deducing
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
Hongbo Ni, Xingshe Zhou, Zhiwen Yu, Kejian Miao
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
15 years 10 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
JCDL
2006
ACM
172views Education» more  JCDL 2006»
15 years 10 months ago
A comprehensive comparison study of document clustering for a biomedical digital library MEDLINE
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
Illhoi Yoo, Xiaohua Hu
ICW
2005
IEEE
160views Communications» more  ICW 2005»
15 years 10 months ago
BAP Sparsing: A Novel Approach to MPEG-4 Body Animation Parameter Compression
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...
Siddhartha Chattopadhyay, Suchendra M. Bhandarkar,...
IPCCC
2005
IEEE
15 years 10 months ago
SECK: survivable and efficient clustered keying for wireless sensor networks
A wireless sensor network (WSN) typically consists of a large number of small sensor nodes and one or more highend control and data aggregation nodes. Sensor nodes have limited co...
Michael Chorzempa, Jung Min Park, Mohamed Eltoweis...