Sciweavers

Share
SIAMAM
2010
82views more  SIAMAM 2010»
9 years 29 days ago
Wave Propagation in Multicomponent Flow Models
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
Tore Flåtten, Alexandre Morin, Svend Tollak ...
DM
2010
83views more  DM 2010»
9 years 2 months ago
Polychromatic colorings of arbitrary rectangular partitions
A general (rectangular) partition is a partition of a rectangle into an arbitrary number of non-overlapping subrectangles. This paper examines vertex colorings using four colors o...
Dániel Gerbner, Balázs Keszegh, Nath...
SNPD
2003
9 years 4 months ago
Estimation of Multiple Motions by Block Matching
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
Ingo Stuke, Til Aach, Erhardt Barth, Cicero Mota
MCU
2007
92views Hardware» more  MCU 2007»
9 years 4 months ago
On the Power of Networks of Evolutionary Processors
We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumer...
Jürgen Dassow, Bianca Truthe
FSTTCS
2000
Springer
9 years 6 months ago
Formal Verification of the Ricart-Agrawala Algorithm
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ar...
GECCO
1999
Springer
116views Optimization» more  GECCO 1999»
9 years 6 months ago
Topologies, Migration Rates, and Multi-Population Parallel Genetic Algorithms
This paper presents a study of parallel genetic algorithms (GAs) with multiple populations (also called demes or islands). The study makes explicit the relation between the probab...
Erick Cantú-Paz
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
9 years 8 months ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
ISCAS
2007
IEEE
90views Hardware» more  ISCAS 2007»
9 years 9 months ago
Synthesis of Wideband Linear-Phase FIR Filters with a Piecewise-Polynomial-Sinusoidal Impulse Response
— A method is presented to synthesize wideband linear-phase FIR filters with a piecewise-polynomial-sinusoidal impulse response. The proposed method is based on merging the earl...
Raija Lehto, Tapio Saramäki, Olli Vainio
APSEC
2008
IEEE
9 years 9 months ago
Domain Specific Engineering Environments
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
Jacky Estublier, Germán Vega, Philippe Lala...
IAT
2009
IEEE
9 years 9 months ago
Agent-Based Security System for User Verification
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...
books