Result 1 to 20 of 54 total
Model checking propositional deontic temporal logic via a $μ$-calculus characterization. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 3-18 (2012).
1
Adaptive spatial concealment of damaged coded images. (English)
Carrasco-Ochoa, Jesús Ariel (ed.) et al., Pattern recognition. 4th Mexican conference, MCPR 2012, Huatulco, Mexico, June 27‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31148-2/pbk). Lecture Notes in Computer Science 7329, 94-106 (2012).
2
Iris image evaluation for non-cooperative biometric iris recognition system. (English)
Batyrshin, Ildar (ed.) et al., Advances in soft computing. 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26‒December 4, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25329-4/pbk). Lecture Notes in Computer Science 7095. Lecture Notes in Artificial Intelligence, 499-509 (2011).
3
Local quality method for the iris image pattern. (English)
San Martin, César (ed.) et al., Progress in pattern recognition, image analysis, computer vision, and applications. 16th Iberoamerican congress, CIARP 2011, Pucón, Chile, November 15‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25084-2/pbk). Lecture Notes in Computer Science 7042, 79-88 (2011).
4
dCTL: A branching time temporal logic for fault-tolerant system verification. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 106-121 (2011).
5
A proposal to classify latinamerican scientific journals using citation indicators: case study in colombia. (English)
Comput. Res. Repos. 2011, Article No. 1101.2711 (2011).
6
Adaptive load balancing of iterative computation on heterogeneous nondedicated systems (English)
The Journal of Supercomputing 58, No. 3, 385-393 (2011).
7
Dctl: A branching time temporal logic for fault-tolerant system verification (English)
SEFM, 106-121 (2011).
8
Local quality method for the iris image pattern (English)
CIARP, 79-88 (2011).
9
Iris image evaluation for non-cooperative biometric iris recognition system (English)
MICAI (2), 499-509 (2011).
10
Iris segmentation using a statistical approach. (English)
Martínez-Trinidad, José Francisco (ed.) et al., Advances in pattern recognition. Second Mexican conference on pattern recognition, MCPR 2010, Puebla, Mexico, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15991-6/pbk). Lecture Notes in Computer Science 6256, 164-170 (2010).
11
Measurement of defocus level in iris images using different convolution kernel methods. (English)
Martínez-Trinidad, José Francisco (ed.) et al., Advances in pattern recognition. Second Mexican conference on pattern recognition, MCPR 2010, Puebla, Mexico, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15991-6/pbk). Lecture Notes in Computer Science 6256, 125-133 (2010).
12
Bridge preventive maintenance based on life-cycle assessment. (English)
Rev. Téc. Fac. Ing., Univ. Zulia 33, No. 1, 3-10 (2010).
13
Switching noise optimization in the wake-up phase of leakage-aware power gating structures. (English)
Monteiro, José (ed.) et al., Integrated circuit and system design. Power and timing modeling, optimization and simulation. 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11801-2/pbk). Lecture Notes in Computer Science 5953, 76-85 (2010).
14
Predicting the potential habitat of oaks with data mining models and the R system (English)
Environmental Modelling and Software 25, No. 7, 826-836 (2010).
15
Dynamic load balancing on heterogeneous multicore/multigpu systems (English)
HPCS, 467-476 (2010).
16
Measurement of defocus level in iris images using different convolution kernel methods (English)
MCPR, 125-133 (2010).
17
Iris segmentation using a statistical approach (English)
MCPR, 164-170 (2010).
18
Optimization of clock-gating structures for low-leakage high-performance applications (English)
ISCAS, 3220-3223 (2010).
19
Switching noise optimization in the wake-up phase of leakage-aware power gating structures (English)
PATMOS, 76-85 (2009).
20
Result 1 to 20 of 54 total
Start
Contact
Print
General Help
