Sciweavers

358 search results - page 27 / 72
» Investigating the Process of Process Modeling with Cheetah E...
Sort
View
ACRI
2004
Springer
14 years 1 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
SAC
2004
ACM
14 years 1 months ago
Patterns for blended, Person-Centered learning: strategy, concepts, experiences, and evaluation
: Within the last few years, e-learning has become a focal point in several universities and organizations. While much research has been devoted to producing econtent, describing i...
Michael Derntl, Renate Motschnig-Pitrik
ICIP
2009
IEEE
14 years 8 months ago
New Results On Performance Analysis Of Super-resolution Image Reconstruction
In this paper, we present new results in performance analysis of super-resolution (SR) image reconstruction. We investigate bounds on the improvement in resolution that can be ach...
ICASSP
2011
IEEE
12 years 11 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
GECCO
2008
Springer
257views Optimization» more  GECCO 2008»
13 years 8 months ago
Rapid evaluation and evolution of neural models using graphics card hardware
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
Thomas F. Clayton, Leena N. Patel, Gareth Leng, Al...