Sciweavers

100 search results - page 13 / 20
» Investigating a Generic Paraphrase-Based Approach for Relati...
Sort
View
WSC
1998
13 years 9 months ago
Timed Petri Nets as a Verification Tool
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
Miryam Barad
ICPR
2000
IEEE
14 years 9 months ago
Sign of Gaussian Curvature from Eigen Plane Using Principal Components Analysis
This paper describes a new method to recover the sign of the local Gaussian curvature at each point on the visible surface of a 3-D object. Multiple (p > 3) shaded images are a...
Shinji Fukui, Yuji Iwahori, Akira Iwata, Robert J....
MLMI
2004
Springer
14 years 1 months ago
Multistream Dynamic Bayesian Network for Meeting Segmentation
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
Alfred Dielmann, Steve Renals
IPPS
2010
IEEE
13 years 6 months ago
MMT: Exploiting fine-grained parallelism in dynamic memory management
Dynamic memory management is one of the most expensive but ubiquitous operations in many C/C++ applications. Additional features such as security checks, while desirable, further w...
Devesh Tiwari, Sanghoon Lee, James Tuck, Yan Solih...
ICASSP
2008
IEEE
14 years 2 months ago
Detecting mild cognitive loss with continuous monitoring of medication adherence
This paper describes an approach for detecting early cognitive loss using medication adherence behavior. We investigate the discriminative power of a comprehensive set of recurren...
Yonghong Huang, Deniz Erdogmus, Zhengdong Lu, Todd...