Sciweavers

1037 search results - page 150 / 208
» A view of canonical extension
Sort
View
TCSV
2008
297views more  TCSV 2008»
14 years 11 months ago
Activity Analysis, Summarization, and Visualization for Indoor Human Activity Monitoring
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
Zhongna Zhou, Xi Chen, Yu-Chia Chung, Zhihai He, T...
TITB
2008
201views more  TITB 2008»
14 years 11 months ago
Automated Retinal Image Analysis Over the Internet
Retinal clinicians and researchers make extensive use of images, and the current emphasis is on digital imaging of the retinal fundus. The goal of this paper is to introduce a syst...
Chia-Ling Tsai, Benjamin Madore, Matthew J. Leotta...
JLP
2007
159views more  JLP 2007»
14 years 11 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
JLP
2007
99views more  JLP 2007»
14 years 11 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
AI
2004
Springer
14 years 11 months ago
Hierarchical model-based diagnosis based on structural abstraction
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
Luca Chittaro, Roberto Ranon