Sciweavers

378 search results - page 18 / 76
» Automating Coinduction with Case Analysis
Sort
View
ICDM
2003
IEEE
125views Data Mining» more  ICDM 2003»
15 years 5 months ago
Improving Home Automation by Discovering Regularly Occurring Device Usage Patterns
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...
Edwin O. Heierman III, Diane J. Cook
TSMC
2010
14 years 6 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
EUROSYS
2006
ACM
15 years 8 months ago
Automated known problem diagnosis with event traces
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zh...
SEMCO
2007
IEEE
15 years 6 months ago
CDIP: Collection-Driven, yet Individuality-Preserving Automated Blog Tagging
With the success of blogs as popular information sharing media, searches on blogs have become popular. In the blogosphere, tagging is used as a means of annotating blog entries wi...
Jong Wook Kim, K. Selçuk Candan, Jun'ichi T...
IPMI
2005
Springer
15 years 5 months ago
Automated Detection of Small-Size Pulmonary Nodules Based on Helical CT Images
Abstract. A computer-aided diagnosis (CAD) system to detect smallsize (from 2 mm to around 10 mm) pulmonary nodules in helical CT scans is developed. This system uses different sc...
Xiangwei Zhang, Geoffrey McLennan, Eric A. Hoffman...