Sciweavers

11182 search results - page 381 / 2237
» Shape Analysis of Sets
Sort
View
MICCAI
2007
Springer
16 years 7 months ago
3-D Analysis of Cortical Morphometry in Differential Diagnosis of Parkinson's Plus Syndromes: Mapping Frontal Lobe Cortical Atro
Abstract. With the ability to study brain anatomy in vivo using magnetic resonance imaging, studies on regional brain atrophy suggest possible improvements for differential diagnos...
Duygu Tosun, Simon Duchesne, Yan Rolland, Arthur W...
ESOP
2010
Springer
16 years 4 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
CIA
2007
Springer
16 years 1 months ago
Analysis of Negotiation Dynamics
The process of reaching an agreement in a bilateral negotiation to a large extent determines that agreement. The tactics of proposing an offer and the perception of offers made by ...
Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykh...
HICSS
2005
IEEE
150views Biometrics» more  HICSS 2005»
16 years 14 days ago
Collaborative Authoring on the Web: A Genre Analysis of Online Encyclopedias
This paper presents the results of a genre analysis of two web-based collaborative authoring environments, Wikipedia and Everything2, both of which are intended as repositories of...
William G. Emigh, Susan C. Herring
ISQED
2005
IEEE
133views Hardware» more  ISQED 2005»
16 years 13 days ago
Sensitivity-Based Gate Delay Propagation in Static Timing Analysis
This paper presents a methodology for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Convention...
Shahin Nazarian, Massoud Pedram, Emre Tuncer, Tao ...