Result 1 to 20 of 321 total
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints. (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 77-91 (2012).
1
Market mechanisms for resource allocation in pervasive sensor applications. (English)
Pervasive Mobile Comput. 8, No. 3, 346-357 (2012).
2
Discovery of complex genomic rearrangements in cancer using high-throughput sequencing. (English)
Chor, Benny (ed.), Research in computational molecular biology. 16th annual international conference, RECOMB 2012, Barcelona, Spain, April 21‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29626-0/pbk). Lecture Notes in Computer Science 7262. Lecture Notes in Bioinformatics, 181-182 (2012).
3
Off-lattice pattern recognition scheme for kinetic Monte Carlo simulations. (English)
J. Comput. Phys. 231, No. 9, 3548-3560 (2012).
4
Part-based motion descriptor image for human action recognition. (English)
Pattern Recognition 45, No. 7, 2562-2572 (2012).
5
Profile-based 3D-aided face recognition. (English)
Pattern Recognition 45, No. 1, 43-53 (2012).
6
Editorial: TBME letters special section on multiscale biomedical signal and image modeling and analysis (English)
IEEE Trans. Biomed. Engineering 59, No. 1, 4-7 (2012).
7
Query preserving relational database watermarking. (English)
Informatica, Ljubl. 35, No. 3, 391-396 (2011).
8
On expressive powers of timed logics: Comparing boundedness, non-punctuality, and deterministic freezing. (English)
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 60-75 (2011).
9
io-port 05921872 Mcpherson, Andrew;
Wu, Chunxiao;
Hajirasouliha, Iman;
Hormozdiari, Fereydoun;
Hach, Faraz;
Lapuk, Anna;
Volik, Stanislav;
Shah, Sohrab;
Collins, Colin;
Sahinalp, Süleyman Cenk
Comrad: detection of expressed rearrangements by integrated analysis of Rna-seq and low coverage genome sequence data. (English)
Bioinformatics 27, No. 11, 1481-1488 (2011).
10
Personalized 3D-aided 2D facial landmark localization. (English)
Kimmel, Ron (ed.) et al., Computer vision ‒ ACCV 2010. 10th Asian conference on computer vision, Queenstown, New Zealand, November 8‒12, 2010. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-19308-8/pbk). Lecture Notes in Computer Science 6493, 633-646 (2011).
11
Level set with embedded conditional random fields and shape priors for segmentation of overlapping objects. (English)
Kimmel, Ron (ed.) et al., Computer vision ‒ ACCV 2010. 10th Asian conference on computer vision, Queenstown, New Zealand, November 8‒12, 2010. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-19308-8/pbk). Lecture Notes in Computer Science 6493, 230-241 (2011).
12
An MBER-BLAST algorithm for OFDM-SDMA communication using particle swarm optimization. (English)
Int. J. Commun. Syst. 24, No. 2, 185-201 (2011).
13
On expressive powers of timed logics: comparing boundedness, non-punctuality and deterministic freezing. (English)
Comput. Res. Repos. 2011, Article No. 1102.5638 (2011).
14
Dynamic multilevel hybrid scheduling algorithms for grid computing (English)
Procedia CS 4, 402-411 (2011).
15
On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing (English)
CONCUR, 60-75 (2011).
16
System architecture of the decision support system employing microscopic simulation and expert system in parallel for the post incident traffic management (English)
ICEIS (2), 113-117 (2011).
17
Dynamic multilevel dual queue scheduling algorithms for grid computing (English)
ICSECS (1), 425-440 (2011).
18
SYEDWSIM: A web based simulator for grid workload analysis (English)
ICSECS (3), 677-692 (2011).
19
Knowledge management and software testing (English)
ICWET, 767-770 (2011).
20
Result 1 to 20 of 321 total
Start
Contact
Print
General Help
