Result 1 to 20 of 489 total
Minimizing the number of late jobs when the start time of the machine is variable. (English)
Oper. Res. Lett. 40, No. 5, 353-355 (2012).
1
Quantitative timed analysis of interactive Markov chains. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 8-23 (2012).
2
Moral reasoning under uncertainty. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 212-227 (2012).
3
3D CAD model retrieval with perturbed Laplacian spectra (English)
Computers in Industry 63, No. 1, 1-11 (2012).
4
Convergence tests on constant Dirichlet series. (English)
Comput. Math. Appl. 62, No. 9, 3472-3489 (2011).
5
Apply extended self-organizing map to cluster and classify mixed-type data. (English)
Neurocomputing 74, No. 18, 3832-3842 (2011).
6
Some new criteria for nonsingular $H$-matrices. (Chinese)
Chin. J. Eng. Math. 28, No. 4, 498-504 (2011).
7
On 4-ordered 3-regular graphs. (English)
Math. Comput. Modelling 54, No. 5-6, 1613-1619 (2011).
8
Intention-based decision making with evolution prospection. (English)
Antunes, Luis (ed.) et al., Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24768-2/pbk). Lecture Notes in Computer Science 7026. Lecture Notes in Artificial Intelligence, 254-267 (2011).
9
Meet researcher in the real world using the ConAR: context-aware researcher. (English)
Ozok, A. Ant (ed.) et al., Online communities and social computing. 4th international conference, OCSC 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21795-1/pbk). Lecture Notes in Computer Science 6778, 12-19 (2011).
10
MSL\_AR toolkit: AR authoring tool with interactive features. (English)
Shumaker, Randall (ed.), Virtual and mixed reality ‒ new trends. International conference, Virtual and Mixed Reality 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-22020-3/pbk). Lecture Notes in Computer Science 6773, 105-112 (2011).
11
Enhancing marker-based AR technology. (English)
Shumaker, Randall (ed.), Virtual and mixed reality ‒ new trends. International conference, Virtual and Mixed Reality 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-22020-3/pbk). Lecture Notes in Computer Science 6773, 97-104 (2011).
12
Imaged based codes performance comparison for mobile environments. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Design and development approaches. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21601-5/pbk). Lecture Notes in Computer Science 6761, 653-659 (2011).
13
ColoriT: color based image code application to aid in memory restoration of offline photo artifacts. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Design and development approaches. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21601-5/pbk). Lecture Notes in Computer Science 6761, 637-642 (2011).
14
Learning-based compositional verification for synchronous probabilistic systems. (English)
Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 511-521 (2011).
15
Observing continuous-time MDPs by 1-clock timed automata. (English)
Delzanno, Giorgio (ed.) et al., Reachability problems. 5th international workshop, RP 2011, Genoa, Italy, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24287-8/pbk). Lecture Notes in Computer Science 6945, 2-25 (2011).
16
Elder care via intention recognition and evolution prospection. (English)
Abreu, Salvador (ed.) et al., Applications of declarative programming and knowledge management. 18th international conference, INAP 2009, Évora, Portugal, November 3‒5, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20588-0/pbk). Lecture Notes in Computer Science 6547. Lecture Notes in Artificial Intelligence, 170-187 (2011).
17
Synthesis for PCTL in parametric Markov decision processes. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 146-161 (2011).
18
Second-order resolvability, intrinsic randomness, and fixed-length source coding for mixed sources. (English)
Comput. Res. Repos. 2011, Article No. 1106.1879 (2011).
19
Model checking of continuous-time Markov chains against timed automata specifications. (English)
Log. Methods Comput. Sci. 7, No. 1, Paper No. 12, 34 p., electronic only (2011).
20
Result 1 to 20 of 489 total
Start
Contact
Print
General Help
