Sciweavers

3719 search results - page 26 / 744
» order 2010
Sort
View
INTERSPEECH
2010
13 years 4 months ago
Improved real-time MRI of oral-velar coordination using a golden-ratio spiral view order
In speech research using real-time magnetic resonance imaging (RT-MRI), frame reconstruction is typically performed with a constant temporal resolution. However, a flexible select...
Yoon-Chul Kim, Shrikanth S. Narayanan, Krishna S. ...
BIRTHDAY
2010
Springer
13 years 10 months ago
Decidable Expansions of Labelled Linear Orderings
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
Alexis Bès, Alexander Rabinovich
JSYML
2010
62views more  JSYML 2010»
13 years 8 months ago
A monotonicity theorem for dp-minimal densely ordered groups
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal den...
John Goodrick
ACSD
2010
IEEE
261views Hardware» more  ACSD 2010»
13 years 8 months ago
Partial Order Reduction for Branching Security Protocols
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs
ICFHR
2010
130views Biometrics» more  ICFHR 2010»
13 years 4 months ago
Spatial Similarity Based Stroke Number and Order Free Clustering
In this paper, we present an innovative approach to integrate spatial relations in stroke clustering for handwritten Devanagari character recognition. It handles strokes of any num...
K. C. Santosh, Cholwich Nattee, Bart Lamiroy