Sciweavers

1403 search results - page 135 / 281
» Quantitative Interprocedural Analysis
Sort
View
102
Voted
INTERSPEECH
2010
14 years 7 months ago
Distribution and trichotomic realization of voiced velars in Japanese - an experimental study
In this paper, we demonstrate the trichotomic realization of voiced velars in Japanese, challenging the traditional plosive/nasal dichotomy of velar allophones, and examine the di...
Shin-ichiro Sano, Tomohiko Ooigawa
105
Voted
JLP
2007
99views more  JLP 2007»
15 years 19 days 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
77
Voted
ISBI
2008
IEEE
15 years 7 months ago
Comparative assessment of different energy mapping methods for generation of 511-keV attenuation map from CT images in PET/CT sy
The use of X-ray CT images for CT-based attenuation correction (CTAC) of PET data results in the decrease of overall scanning time and creates a noise-free attenuation map (μmap)...
Maryam Shirmohammad, Mohammad Reza Ay, Saeed Sarka...
85
Voted
CHI
2007
ACM
16 years 1 months ago
Defining high-throughput email users
In this paper we make the case for the existence and importance of a special class of email user, the highthroughput email user, whose needs are not wellserved by current clients....
Joshua B. Gross
CHI
2001
ACM
16 years 1 months ago
Empirically validated web page design metrics
A quantitative analysis of a large collection of expert-rated web sites reveals that page-level metrics can accurately predict if a site will be highly rated. The analysis also pr...
Melody Y. Ivory, Rashmi R. Sinha, Marti A. Hearst