Sciweavers

484 search results - page 42 / 97
» Caching function calls using precise dependencies
Sort
View
ESANN
2006
13 years 11 months ago
Evolino for recurrent support vector machines
Abstract. We introduce a new class of recurrent, truly sequential SVM-like devices with internal adaptive states, trained by a novel method called EVOlution of systems with KErnel-...
Jürgen Schmidhuber, Matteo Gagliolo, Daan Wie...
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 10 months ago
From granular avalanches to fluid turbulences through oozing pastes. A mesoscopic physically-based particle model
In this paper, we describe how we can precisely produce complex and various dynamic morphological features such as structured and chaotic features which occur in sand pilings (pil...
Annie Luciani
EOR
2008
86views more  EOR 2008»
13 years 10 months ago
Fuzzy inference to assess manufacturing process capability with imprecise data
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
Bi-Min Hsu, Ming-Hung Shu
PLDI
2010
ACM
14 years 7 months ago
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
CORR
2011
Springer
115views Education» more  CORR 2011»
13 years 1 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...