1981 search results - page 331 / 397 » Model-Checking Hierarchical Structures |
ICDM
2005
IEEE
14 years 2 months ago
2005
IEEE
We address the issue of providing highly informative and comprehensive annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a...
ICW
2005
IEEE
14 years 2 months ago
2005
IEEE
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...
ISCA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper examines the area, power, performance, and design issues for the on-chip interconnects on a chip multiprocessor, attempting to present a comprehensive view of a class o...
SSDBM
2005
IEEE
14 years 2 months ago
2005
IEEE
With the growing demand on cluster analysis for categorical data, a handful of categorical clustering algorithms have been developed. Surprisingly, to our knowledge, none has sati...
HT
2005
ACM
14 years 2 months ago
2005
ACM
We describe the integration of smart digital objects with Hebbian learning to create a distributed, real-time, scalable approach to adapting to a community's preferences. We ...