1416 search results - page 105 / 284 » cost 2009 |
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
ICICS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose an efficient technique for the detection of errors in cryptographic circuits introduced by strong adversaries. Previously a number of linear and nonlinear err...
ICVS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
IDA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Joint diagonalization for ICA is often performed on the orthogonal group after a pre-whitening step. Here we assume that we only want to extract a few sources after pre-w...
ISMIS
2009
Springer
14 years 4 months ago
2009
Springer
Static and transportation facility location allocation problem is a new problem in facility location research. It aims to find out optimal locations of static and transportation fa...