Sciweavers

5525 search results - page 926 / 1105
» Verification of Model Transformations
Sort
View
ICPR
2000
IEEE
16 years 5 months ago
Estimation of the Location of Joint Points of Human Body from Successive Volume Data
Recognizing structure of human body is important for modeling human motion. Human body is usually represented as an articulate model, which consists of the rigid parts and the joi...
Masaaki Iiyama, Yoshinari Kameda, Michihiko Minoh
DAC
2000
ACM
16 years 5 months ago
On switch factor based analysis of coupled RC interconnects
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...
Andrew B. Kahng, Sudhakar Muddu, Egino Sarto
DAC
2005
ACM
16 years 5 months ago
A lattice-based framework for the classification and design of asynchronous pipelines
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
Peggy B. McGee, Steven M. Nowick
KDD
2007
ACM
192views Data Mining» more  KDD 2007»
16 years 4 months ago
Allowing Privacy Protection Algorithms to Jump Out of Local Optimums: An Ordered Greed Framework
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...
Rhonda Chaytor
KDD
2002
ACM
118views Data Mining» more  KDD 2002»
16 years 4 months ago
SECRET: a scalable linear regression tree algorithm
Recently there has been an increasing interest in developing regression models for large datasets that are both accurate and easy to interpret. Regressors that have these properti...
Alin Dobra, Johannes Gehrke