Sciweavers

Share
BCS
2008
8 years 5 months ago
On the Complexity of Parity Games
Parity games underlie the model checking problem for the modal
Arnold Beckmann, Faron Moller
BCS
2008
8 years 5 months ago
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
Ross McFarlane, Irina V. Biktasheva
BCS
2008
8 years 5 months ago
Incremental Connectivity-Based Outlier Factor Algorithm
Dragoljub Pokrajac, Natasa Reljin, Nebojsa Pejcic,...
BCS
2008
8 years 5 months ago
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision
: There is a rich literature of approaches to image feature extraction in computer vision. Many sophisticated approaches exist for low- and high-level feature extraction but can be...
Mark S. Nixon, Cem Direkoglu, Xin U. Liu, David J....
BCS
2008
8 years 5 months ago
Modal Logics are Coalgebraic
Corina Cîrstea, Alexander Kurz, Dirk Pattins...
BCS
2008
8 years 5 months ago
Web Engineering Revisited
We propose "Web Engineering 2.0" to not focus anymore on how to engineer for the Web, but how to engineer the Web. Web Engineering has become one of the core disciplines...
Erik Wilde, Martin Gaedke
BCS
2008
8 years 5 months ago
Fast Estimation of Nonparametric Kernel Density Through PDDP, and its Application in Texture Synthesis
In this work, a new algorithm is proposed for fast estimation of nonparametric multivariate kernel density, based on principal direction divisive partitioning (PDDP) of the data s...
Arnab Sinha, Sumana Gupta
BCS
2008
8 years 5 months ago
Hardware Dependability in the Presence of Soft Errors
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
Ashish Darbari, Bashir M. Al-Hashimi
BCS
2008
8 years 5 months ago
Grand Challenge 7: Journeys in Non-Classical Computation
Susan Stepney, Samson Abramsky, Andy Adamatzky, Co...
BCS
2008
8 years 5 months ago
A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
Andreas Fidjeland, Wayne Luk, Stephen Muggleton
books