Sciweavers

2740 search results - page 369 / 548
» Typing the Specialization Interface
Sort
View
JOC
2010
96views more  JOC 2010»
15 years 26 days ago
On the Efficient Generation of Prime-Order Elliptic Curves
We consider the generation of prime-order elliptic curves (ECs) over a prime field Fp using the Complex Multiplication (CM) method. A crucial step of this method is to compute the ...
Elisavet Konstantinou, Aristides Kontogeorgis, Yan...
JOCN
2010
138views more  JOCN 2010»
15 years 26 days ago
Formation of Category Representations in Superior Temporal Sulcus
The human brain contains cortical areas specialized in representing object categories. Visual experience is known to change the responses in these category-selective areas of the ...
Marieke van der Linden, Miranda van Turennout, Pet...
SIAMJO
2010
74views more  SIAMJO 2010»
15 years 25 days ago
Various Lipschitz-like Properties for Functions and Sets I: Directional Derivative and Tangential Characterizations
In this work we introduce for extended real valued functions, defined on a Banach space X, the concept of K directionally Lipschitzian behavior, where K is a bounded subset of X. F...
Rafael Correa, Pedro Gajardo, Lionel Thibault
TSP
2010
15 years 23 days ago
Covariance estimation in decomposable Gaussian graphical models
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...
Ami Wiesel, Yonina C. Eldar, Alfred O. Hero
183
Voted
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 9 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...