Sciweavers

2740 search results - page 369 / 548
» Typing the Specialization Interface
Sort
View
JOC
2010
96views more  JOC 2010»
14 years 11 months 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»
14 years 11 months 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»
14 years 11 months 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
149
Voted
TSP
2010
14 years 10 months 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
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 7 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...