BCS
2008
13 years 6 months ago
2008
Parity games underlie the model checking problem for the modal
BCS
2008
13 years 6 months ago
2008
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...
BCS
2008
13 years 6 months ago
2008
BCS
2008
13 years 6 months ago
2008
: 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...
BCS
2008
13 years 6 months ago
2008
BCS
2008
13 years 6 months ago
2008
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...
BCS
2008
13 years 6 months ago
2008
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...
BCS
2008
13 years 6 months ago
2008
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...
BCS
2008
13 years 6 months ago
2008
BCS
2008
13 years 6 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...