Result 1 to 20 from 164 total
A structural soundness proof for Shivers’s escape technique. A case for Galois connections. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 352-369 (2012).
1
Mobile robotics in a random finite set framework. (English)
Tan, Ying (ed.) et al., Advances in swarm intelligence. Second international conference, ICSI 2011, Chongqing, China, June 12‒15, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21523-0/pbk). Lecture Notes in Computer Science 6729, 519-528 (2011).
2
Lessons from touring a location-based experience. (English)
Lyons, Kent (ed.) et al., Pervasive computing. 9th international conference, pervasive 2011, San Francisco, USA, June 12‒15, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21725-8/pbk). Lecture Notes in Computer Science 6696, 232-249 (2011).
3
Random finite sets for robot mapping and SLAM. New concepts in autonomous robotic map representations. (English)
Springer Tracts in Advanced Robotics 72. Berlin: Springer (ISBN 978-3-642-21389-2/hbk; 978-3-642-21390-8/ebook). xxiv, 146~p. EUR~79.95/net; SFR~115.00; \sterling~72.00; \$~109.00 (2011).
4
io-port 05889766 Lancaster, W.Andrew;
Praissman, Jeremy L.;
Ii, Farris L.Poole;
Cvetkovic, Aleksandar;
Menon, Angeli L.;
Scott, Joseph W.;
Jr., Francis E.Jenney;
Thorgersen, Michael P.;
Kalisiak, Ewa;
Apon, Junefredo V.;
Trauger, Sunia A.;
Siuzdak, Gary;
Tainer, John A.;
Adams, Michael W.W.
A computational framework for proteome-wide pursuit and prediction of metalloproteins using ICP-MS and MS/MS data. (English)
BMC Bioinform. 12, 64 (2011).
5
Open source software for workflow management: the case of YAWL (English)
IEEE Software 28, No. 3, 16-19 (2011).
6
A random-finite-set approach to Bayesian SLAM (English)
IEEE Transactions on Robotics 27, No. 2, 268-282 (2011).
7
A flexible content-adaptive mesh-generation strategy for image representation (English)
IEEE Transactions on Image Processing 20, No. 9, 2414-2427 (2011).
8
Laser and radar based robotic perception (English)
Foundations and Trends in Robotics 1, No. 3, 135-252 (2011).
9
Random finite sets for robot mapping and SLAM - new concepts in autonomous robotic map representations (English)
Springer Tracts in Advanced Robotics 72, 1-136 (2011).
10
Mobile robotics in a random finite set framework (English)
ICSI (2), 519-528 (2011).
11
Social networks of researchers and educators on nanohub.org (English)
CCGRID, 560-565 (2011).
12
Lessons from touring a location-based experience (English)
Pervasive, 232-249 (2011).
13
Flow-sensitive type recovery in linear-\log time (English)
OOPSLA, 483-498 (2011).
14
Workflow support for scheduling in surgical care processes (English)
ECIS (2011).
15
io-port 70924690 Flintham, Martin;
Reeves, Stuart;
Brundell, Patrick;
Glover, A. T.;
Benford, Steve;
Rowland, Duncan;
Koleva, Boriana;
Greenhalgh, Chris;
Adams, Matt;
Tandavanitj, Nick;
Row-Farr, Ju
Flypad: designing trajectories in a large-scale permanent augmented reality installation (English)
ECSCW, 233-252 (2011).
16
Intelligent intrusion detection based on genetically tuned artificial neural networks. (English)
J. Adv. Comput. Intell. Intell. Inform. 14, No. 6, 708-713 (2010).
17
Introducing HOL zero. (Extended abstract). (English)
Fukuda, Komei (ed.) et al., Mathematical software ‒ ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 142-143 (2010).
18
Optimal design of high-performance separable wavelet filter banks for image coding. (English)
Signal Process. 90, No. 1, 180-196 (2010).
19
Toward textbook multigrid efficiency for fully implicit resistive magnetohydrodynamics (English)
J. Comput. Physics 229, No. 18, 6208-6219 (2010).
20
Result 1 to 20 from 164 total
Start
Contact
Print
General Help
