Sciweavers

1403 search results - page 135 / 281
» Quantitative Interprocedural Analysis
Sort
View
INTERSPEECH
2010
13 years 5 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
JLP
2007
99views more  JLP 2007»
13 years 10 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
ISBI
2008
IEEE
14 years 4 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...
CHI
2007
ACM
14 years 10 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
14 years 10 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