Result 1 to 20 of 3518 total
Positive and negative non-separability for space-time covariance models. (English)
J. Stat. Plann. Inference 143, No. 2, 378-391 (2013).
1
A spatio-temporal Gaussian-Conical wavelet with high aperture selectivity for motion and speed analysis. (English)
Appl. Comput. Harmon. Anal. 34, No. 1, 148-161 (2013).
2
Iris recognition ‒ the need to recognise the iris as a dynamic biological system: response to Daugman and Downing. (English)
Pattern Recognition 46, No. 2, 611-612 (2013).
3
Towards unsupervised learning of temporal relations between events. (English)
J. Artif. Intell. Res. (JAIR) 45, 125-163 (2012).
4
A proof of Kamp’s theorem. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 516-527, electronic only (2012).
5
Equivalence constraint satisfaction problems. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 122-136, electronic only (2012).
6
Bounded satisfiability for PCTL. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 92-106, electronic only (2012).
7
Linking temporal records. (English)
Front. Comput. Sci. 6, No. 3, 293-312 (2012).
8
An inter-temporal resource emergency management model. (English)
Comput. Oper. Res. 39, No. 8, 1909-1918 (2012).
9
Simple photonic emission analysis of AES. Photonic side channel analysis for the rest of us. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 41-57 (2012).
10
Fast segment-based algorithm for multi-view depth map generation. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 553-560 (2012).
11
Action recognition based on the feature trajectories. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 250-257 (2012).
12
A generalized approach for determining fuzzy temporal relations. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 49-56 (2012).
13
Comparing similarity of concepts identified by temporal patterns of terms in biomedical research documents. (English)
Li, Tianrui (ed.) et al., Rough sets and knowledge technology. 7th international conference, RSKT 2012, Chengdu, China, August 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31899-3/pbk). Lecture Notes in Computer Science 7414. Lecture Notes in Artificial Intelligence, 232-241 (2012).
14
Solving disjunctive temporal problems with preferences using maximum satisfiability. (English)
AI Commun. 25, No. 2, 137-156 (2012).
15
Designing fast LTL model checking algorithms for many-core GPUs. (English)
J. Parallel Distrib. Comput. 72, No. 9, 1083-1097 (2012).
16
Improving the localization accuracy of targets by using their spatial-temporal relationships in wireless sensor networks. (English)
J. Parallel Distrib. Comput. 72, No. 8, 1008-1018 (2012).
17
Real-time quality assessment for voice over IP. (English)
Concurrency Comput. Pract. Exp. 24, No. 11, 1192-1199 (2012).
18
Software support for organised adaptation. (English)
Collier, Rem (ed.) et al., Programming multi-agent systems. 8th international workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28938-5/pbk). Lecture Notes in Computer Science 6599. Lecture Notes in Artificial Intelligence, 96-115 (2012).
19
Generation of coherent mosaic animations: enhancement and evaluation of temporal coherence. (English)
Comput. Animat. Virtual Worlds 23, No. 3-4, 191-202 (2012).
20
Result 1 to 20 of 3518 total
Start
Contact
Print
General Help
