Result 1 to 20 from 344 total
Design of high speed vedic multiplier for decimal number system. (English)
Rahaman, Hafizur (ed.) et al., Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1‒4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). Lecture Notes in Computer Science 7373, 79-88 (2012).
1
Programming paradigm driven heap analysis. (English)
O’Boyle, Michael (ed.), Compiler construction. 21st international conference, CC 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28651-3/pbk). Lecture Notes in Computer Science 7210, 41-60 (2012).
2
Optimization of reversible circuits using reconfigured templates. (English)
De Vos, Alexis (ed.) et al., Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4‒5, 2011. Revised papers. Berlin: Springer (ISBN 978-3-642-29516-4/pbk). Lecture Notes in Computer Science 7165, 43-53 (2012).
3
Pseudorandom functions and lattices. (English)
Pointcheval, David (ed.) et al., Advances in cryptology ‒ EUROCRYPT 2012. 31st annual international conference on the theory and applications of cryptographic techniques, Cambridge, UK, April 15‒19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29010-7/pbk). Lecture Notes in Computer Science 7237, 719-737 (2012).
4
Decision procedures for region logic. (English)
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 379-395 (2012).
5
Reducing congestion in bulk-service finite-buffer queueing system using batch-size-dependent service. (English)
Perform. Eval. 69, No. 1, 53-70 (2012).
6
Unsteady MHD flow past a stretching sheet due to a heat source/sink. (English)
Luo, Albert C.J. (ed.) et al., Dynamical systems and methods. Based on the 3rd conference on nonlinear science and complexity (NSC), Ankara, Turkey, July 27‒31, 2010. Berlin: Springer (ISBN 978-1-4614-0453-8/hbk; 978-1-4614-0454-5/ebook). 291-299 (2012).
7
Ensuring safety, security, and sustainability of mission-critical cyber-physical systems (English)
Proceedings of the IEEE 100, No. 1, 283-299 (2012).
8
Fuzzy-controlled energy-efficient weight-based two hop clustering for multicast communication in mobile ad hoc networks. (English)
Panigrahi, Bijaya Ketan (ed.) et al., Swarm, evolutionary, and memetic computing. Second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19‒21, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-27171-7/pbk). Lecture Notes in Computer Science 7076, 520-529 (2011).
9
SUT: quantifying and mitigating URL typosquatting. (English)
Comput. Netw. 55, No. 13, 3001-3014 (2011).
10
Mixed-membership naive Bayes models. (English)
Data Min. Knowl. Discov. 23, No. 1, 1-62 (2011).
11
Modelling declassification policies using abstract domain completeness. (English)
Math. Struct. Comput. Sci. 21, No. 6, 1253-1299 (2011).
12
The complex wave representation of distance transforms. (English)
Boykov, Yuri (ed.) et al., Energy minimization methods in computer vision and pattern recognition. 8th international conference, EMMCVPR 2011, St.~Petersburg, Russia, July 25‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23093-6/pbk). Lecture Notes in Computer Science 6819, 413-427 (2011).
13
Using the higher order singular value decomposition for video denoising. (English)
Boykov, Yuri (ed.) et al., Energy minimization methods in computer vision and pattern recognition. 8th international conference, EMMCVPR 2011, St.~Petersburg, Russia, July 25‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23093-6/pbk). Lecture Notes in Computer Science 6819, 344-354 (2011).
14
A finite-sample, distribution-free, probabilistic lower bound on mutual information. (English)
Neural Comput. 23, No. 7, 1862-1898 (2011).
15
Towards classifying organisms based on their protein physicochemical properties using comparative intelligent techniques. (English)
Appl. Artif. Intell. 25, No. 5, 426-439 (2011).
16
The relative Picard functor on schemes over a symmetric monoidal category. (English)
Bull. Sci. Math. 135, No. 4, 400-419 (2011).
17
Efficient quantum circuits for perfect and controlled teleportation of $n$-qubit non-maximally entangled states of generalized Bell-type. (English)
Int. J. Quantum Inf. 9, Suppl., 389-403 (2011).
18
Non-Lambertian reflectance modeling and shape recovery of faces using tensor splines (English)
IEEE Trans. Pattern Anal. Mach. Intell. 33, No. 3, 533-567 (2011).
19
Bayesian cluster ensembles (English)
Statistical Analysis and Data Mining 4, No. 1, 54-70 (2011).
20
Result 1 to 20 from 344 total
Start
Contact
Print
General Help
