IEEE Computer Society Press, 0-7695

United States

Central database

Publisher

  1. 2013
  2. Accepted

    A Unified Model for Stable and Temporal Topic Detection from Social Media Data. / Yin, Hongzhi; Cui, Bin; Lu, Hua; Huang, Yuxin; Yao, Junjie.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  3. Accepted

    C-Cube: Real-Time and Elastic Continuous Clustering in the Clouds. / Zhang, Zhenjie; Shu, Hu; Chong, Zhihong; Lu, Hua; Yang, Yin.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  4. Accepted

    Efficient Distance-Aware Query Evaluation on Indoor Moving Objects. / Xie, Scott, Xike; Lu, Hua; Pedersen, Torben Bach.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  5. Published

    Experimental designs for cross-cultural interactions : A case study on affective body movements for HRI. / Rehm, Matthias.

    Proceedings of Humanoids 2012. IEEE Computer Society Press, 2013. p. 78-83.

    Publication: Research - peer-reviewArticle in proceeding

  6. Accepted

    Negative Affect in Human Robot Interaction : Impoliteness in Unexpected Encounters with Robots. / Rehm, Matthias; Krogsager, Anders.

    The 22nd International Symposium on Robot and Human Interactive Communication. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  7. Accepted

    On Discovery of Gathering Patterns from Trajectories. / Zheng, Kai; Zheng, Yu; Yuan, Jing; Shang, Shuo.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  8. Accepted

    Towards Efficient Search for Activity Trajectories. / Zheng, Kai; Shang, Shuo; Yuan, Jing; Yang, Yi.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publication: Research - peer-reviewArticle in proceeding

  9. 2012
  10. Published

    13th IEEE International Conference on Mobile Data Management. / Aberer, Karl (Editor); Joshi, Anupam (Editor); Mukherjea, Sougata (Editor); Chakraborty, Dipanjan (Editor); Lu, Hua (Editor); Venkatasubramanian, Nalini (Editor); Kanhere, Salil (Editor).

    IEEE Computer Society Press, 2012.

    Publication: Research - peer-reviewAnthology

  11. Published

    3D human pose estimation using 2D body part detectors. / Barbulescu, A.; Gong, W.; Gonzalez, J.; Moeslund, T.B.; Xavier Roca, F.

    2012 21st International Conference on Pattern Recognition (ICPR). IEEE Computer Society Press, 2012. p. 2484-2487 (International Conference on Pattern Recognition).

    Publication: Research - peer-reviewArticle in proceeding

  12. Published

    3XL : An Efficient DBMS-based Triple-store. / Xiufeng, Liu; Thomsen, Christian; Pedersen, Torben Bach.

    The 23rd International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, 2012. p. 284-288.

    Publication: Research - peer-reviewArticle in proceeding

  13. Published

    A Foundation for Efficient Indoor Distance-Aware Query Processing. / Lu, Hua; Cao, Xin; Jensen, Christian Søndergaard.

    The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2012. p. 438-449.

    Publication: Research - peer-reviewArticle in proceeding

  14. Published

    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. / Bauer, Sebastian S.; Juhl, Line; Larsen, K.G.; Srba, J.; Legay, A.

    Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, 2012. p. 77-84.

    Publication: Research - peer-reviewArticle in proceeding

  15. Published

    Accelerating Range Queries for Brain Simulations. / Tauheed, Farhan; Biveinis, Laurynas; Heinis, Thomas; Schurmann, Felix; Markram, Henry; Ailamaki, Anastasia.

    IEEE 28th International Conference on Data Engineering (ICDE 2012). IEEE Computer Society Press, 2012. p. 941-952.

    Publication: Research - peer-reviewArticle in proceeding

  16. Published

    An RGB-D Database Using Microsoft’s Kinect for Windows for Face Detection. / Idskou, Rasmus; Jasek, Petr; Rofidal, Clement; Nasrollahi, Kamal; Moeslund, Thomas B.

    IEEE 8th International Conference on Signal Image Technology & Internet Based Systems. Italy : IEEE Computer Society Press, 2012. p. 42-46.

    Publication: Research - peer-reviewArticle in proceeding

  17. Published

    Fingertip’s Speed Analysis for Touch Detection Using a Smart Phone. / Jensen, Sebastian H. Nesgaard; Myrtue, Niels G.; Pedersen, Casper; Tranchet, Gabrielle; Tranchet, Gabrielle; Nasrollahi, Kamal; Moeslund, Thomas B.

    IEEE 8th International Conference on Signal Image Technology & Internet Based Systems . Italy : IEEE Computer Society Press, 2012. p. 359-365 .

    Publication: Research - peer-reviewArticle in proceeding

  18. Published

    Kill it or grow it : Computer game design for playful math-learning. / Valente, Andrea; Marchetti, Emanuela.

    Proceedings of DIGITEL 2012: The 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning. IEEE Computer Society Press, 2012. p. 17-24.

    Publication: Research - peer-reviewArticle in proceeding

  19. Published

    Lower-Bound Constrained Runs in Weighted Timed Automata. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicolas.

    Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. London : IEEE Computer Society Press, 2012. p. 128-137.

    Publication: Research - peer-reviewArticle in proceeding

  20. Published

    MicroCulture : Interactive storytelling and learning in the museum. / Marchetti, Emanuela.

    Digitel 2012: The 4th IEEE Conference on Digital Game and Intelligent Toy Enhanced Learning . IEEE Computer Society Press, 2012. p. 84-88.

    Publication: Research - peer-reviewArticle in proceeding

  21. Published

    Plant Leaf Imaging using Time of Flight Camera under Sunlight, Shadow and Room Conditions. / Kazmi, Wajahat; Foix, Sergi; Alenya, Guillem.

    IEEE International Symposium on Robotic and Sensors Environments. IEEE Computer Society Press, 2012. p. 192-197.

    Publication: Research - peer-reviewArticle in proceeding

  22. Published

    Schedulability Analysis Abstractions for Safety Critical Java. / Bøgholm, Thomas; Thomsen, Bent; Larsen, Kim Guldstrand; Mycroft, Alan.

    Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, 2012. p. 71-78 (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publication: Research - peer-reviewArticle in proceeding

  23. Published

    Sequential error concealment for video/images by weighted template matching. / Koloda, Jan; Østergaard, Jan; Jensen, Søren Holdt; Peinado, Antonio; Sanchez, Victoria.

    IEEE Data Compression Conference (DCC). IEEE Computer Society Press, 2012. p. 159-168 (Data Compression Conference. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  24. Published

    The Fwobble : Continuous audio-haptic feedback for balance control. / Nilsson, Niels Christian; Serafin, Stefania; Nordahl, Rolf.

    IEEE 3D UI. IEEE Computer Society Press, 2012. p. 153-154.

    Publication: Research - peer-reviewArticle in proceeding

  25. Published

    The Spiral-in Method for Designing and Connecting Learning Objects. / Vlachos , Evgenios .

    Proceedings of the International Conference on Intelligent Networking and Collaborative Systems (INCoS) . Vol. 2012 IEEE Computer Society Press, 2012. p. 677-681.

    Publication: Research - peer-reviewArticle in proceeding

  26. Published

    Upgrading uncompetitive products economically. / Lu, Hua; Jensen, Christian Søndergaard.

    The 28th IEEE International Conference on Data Engineering (ICDE). IEEE Computer Society Press, 2012. p. 977-988 (International Conference on Data Engineering. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  27. Published

    Urban vibrations : Sensitivities in the field with a broad demographic. / Morrison, Ann; Knudsen, L.; Andersen, Hans Jørgen.

    16th IEEE International Symposium on Wearable Computers: ISWC 2012. IEEE Computer Society Press, 2012. p. 76-79 (International Symposium on Wearable Computers. Proceedings).

    Publication: Research - peer-reviewArticle in proceeding

  28. Published

    Vertical illusory self-motion through haptic stimulation of the feet. / Nordahl, Rolf; Nilsson, Niels Christian; Turchet, Luca; Serafin, Stefania.

    2012 IEEE VR Workshop on Perceptual Illusions in Virtual Environments (PIVE). IEEE Computer Society Press, 2012. p. 21-26.

    Publication: Research - peer-reviewArticle in proceeding

  29. Published

    Visualizing learner activities with a virtual learning environment : Experiences from an in situ test with school children. / Eskildsen, Søren; Rodil, Kasper; Rehm, Matthias.

    12th IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society Press, 2012. p. 660-661.

    Publication: Research - peer-reviewArticle in proceeding

  30. 2011
  31. Published

    APAC: A tool for Reasoning about Abstract Probabilistic Automata. / Delahaye, Benoît; Larsen, Kim Guldstrand; Legay, Alex; Pedersen, Mikkel L.; Wasowski, Andrzej.

    Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, 2011. p. 151-152.

    Publication: Research - peer-reviewBook chapter

  32. Published

    Approximating Model Equivalence in Interactive Dynamic Influence Diagrams Using Top K Policy Paths. / Zeng, Y.; Chen, Y.; Doshi, Prashant.

    Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011. ed. / Jomi F. Hübner; Jean-Marc Petit; Einoshin Suzuki. Vol. 3 IEEE Computer Society Press, 2011. p. 208-211.

    Publication: Research - peer-reviewArticle in proceeding

  33. Published

    Assessing Measurements of QoS for global Cloud Computing Services. / Pedersen, Jens Myrup; Riaz, M. Tahir; Júnior, Joaquim Celestino; Dubalski, Bozydar; Ledzinski, Damian; Patel, Ahmed.

    2011 Ninth IEEE International Conference on Dependable, Autonomic and Secure Computing. IEEE Computer Society Press, 2011. p. 682-689.

    Publication: Research - peer-reviewArticle in proceeding

  34. Published

    Complexity in Managing Modularization. / Hansen, Poul H. Kyvsgård; Sun, Hongyi.

    2011 International Conference on Information management, Innovation Management and Industrial Engineering. Vol. 3 IEEE Computer Society Press, 2011. p. 537-540.

    Publication: Research - peer-reviewArticle in proceeding

  35. Published

    Effective Privacy-Preserving Online Route Planning. / Ruiz Vicente, Carmen; Assent, Ira; Jensen, Christian Søndergaard.

    Proceedings of the 12th IEEE International Conference on Mobile Data Management. Vol. 2 IEEE Computer Society Press, 2011. p. 119-128.

    Publication: Research - peer-reviewArticle in proceeding

  36. Published

    Improving Wi-Fi Based Indoor Positioning Using Bluetooth Add-Ons. / Baniukevic, Artur; Sabonis, Dovydas; Jensen, Christian Søndergaard; Lu, Hua.

    12th IEEE International Conference on Mobile Data Management, 6-9 June, 2011, Luleå, Sweden. ed. / Arkady Zaslavsky; Panos K. Chrysanthis; Dik Lun Lee; Dipanjan Chakraborty; Vana Kalogeraki; Mohamed F. Mokbel; Chi-Yin Chow. Vol. 2 IEEE Computer Society Press, 2011. p. 246-255.

    Publication: Research - peer-reviewArticle in proceeding

  37. Published

    Multiplayer Game for DDoS Attacks Resilience in Ad Hoc Networks. / Mikalas, Antonis; Komninos, Nikos; Prasad, Neeli R.

    2nd International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (WirelessVitae2011). IEEE Computer Society Press, 2011.

    Publication: Research - peer-reviewArticle in proceeding

  38. Published

    Programming Turing Machines as a game for technology sense-making.. / Valente, Andrea; Marchetti, Emanuela.

    Proceedings of 11th International Conference on Advanced Learning Technologies (ICALT), 2011 IEEE.. IEEE Computer Society Press, 2011. p. 428-430.

    Publication: Research - peer-reviewArticle in proceeding

  39. Published

    Spatio-Temporal Joins on Symbolic Indoor Tracking Data. / Lu, Hua; Yang, Bin; Jensen, Christian S.

    2011 IEEE 27th International Conference on Data Engineering (ICDE). IEEE Computer Society Press, 2011. p. 816-827.

    Publication: Research - peer-reviewArticle in proceeding

  40. Published

    Using Tag-Neighbors for Query Expansion in Medical Information Retrieval. / Durao, Frederico; Bayyapu, Karunakar Reddy; Xu, Guandong; Lage, Ricardo Gomes; Dolog, Peter.

    2011 International Conference on Information Science and Applications (ICISA). IEEE Computer Society Press, 2011.

    Publication: Research - peer-reviewArticle in proceeding

  41. 2010
  42. Published

    Assessing the Impact of Imperfect Diagnosis on Service Reliability : A Parsimonious Model Approach. / Grønbæk, Lars Jesper; Schwefel, Hans-Peter; Kjærgaard, Jens Kristian; Toftegaard, Thomas Skjødeberg.

    Proceedings of the 8th European Dependable Computing Conference, EDCC 2010. Vol. 8 Los Alamitos, California : IEEE Computer Society Press, 2010. p. 165-174.

    Publication: Research - peer-reviewArticle in proceeding

  43. Published

    Finding Error Handling Bugs in OpenSSL using Coccinelle. / Lawall, Julia; Laurie, Ben; Hansen, Rene Rydhof; Palix, Nicolas; Muller, Gilles.

    Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, 2010. p. 191-196.

    Publication: Research - peer-reviewArticle in proceeding

  44. Published

    Fixed-Lag Smoothing for Low-Delay Predictive Coding with Noise Shaping for Lossy Networks. / Arildsen, Thomas; Østergaard, Jan; Murthi, Manohar; Andersen, Søren Vang; Jensen, Søren Holdt.

    Data Compression Conference. ed. / James Storer; Michael Marcellin. Snowbird, UT : IEEE Computer Society Press, 2010. p. 279-287.

    Publication: Research - peer-reviewArticle in proceeding

  45. Published

    Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. / Grønbæk, Lars Jesper; Schwefel, Hans-Peter; Ceccarelli, Andrea; Bondavalli, Andrea .

    Proceedings of 2010 Ninth IEEE International Symposium on Network Computing and Applications (NCA). Vol. 9 Los Alamitos, California : IEEE Computer Society Press, 2010. p. 229-232.

    Publication: Research - peer-reviewArticle in proceeding

  46. Published

    Pose Estimation of Interacting People using Pictorial Structures. / Fihl, Preben; Moeslund, Thomas B.

    7th IEEE International Conference on Advanced Video and Signal-Based Surveillance: for Security, Safety and Monitoring in Smart Environments. IEEE Computer Society Press, 2010. p. 462-468 .

    Publication: Research - peer-reviewArticle in proceeding

  47. Published

    Private and Flexible Proximity Detection in Mobile Social Networks. / Siksnys, Laurynas; Thomsen, Jeppe Rishede; Saltenis, Simonas; Yiu, Man Lung.

    Eleventh International Conference on Mobile Data Management, MDM 2010. IEEE Computer Society Press, 2010. p. 75-84.

    Publication: Research - peer-reviewArticle in proceeding

  48. Published

    Proceedings of the Eleventh International Conference on Mobile Data Management. / Hara, Takahiro (Editor); Jensen, Christian Søndergaard (Editor); Kumar, Vijay (Editor); Madria, Sanjay (Editor); Zeinalipour-Yazti, Demetrios (Editor).

    IEEE Computer Society Press, 2010.

    Publication: ResearchAnthology

  49. Published

    Street navigation using visual information on mobile phones. / Nguyen, Phuong Giang; Andersen, Hans Jørgen; Høilund, Carsten.

    IEEE proceeding of the 10th International Conference on Intelligent Systems Design and Applications. IEEE Computer Society Press, 2010. p. 37-42.

    Publication: Research - peer-reviewArticle in proceeding

  50. Published

    Thresholded Range Aggregation in Sensor Networks. / Yiu, Man Lung; Lin, Zhifeng; Mamoulis, Nikos.

    Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, 2010. p. 162-171.

    Publication: Research - peer-reviewArticle in proceeding

  51. Published

    Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. / Grønbæk, Lars Jesper; Schwefel, Hans-Peter; Ceccarelli, Andrea; Montecchi, Leonardo ; Bondavalli, Andrea.

    13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. Vol. 13 IEEE Computer Society Press, 2010. p. 184-193.

    Publication: Research - peer-reviewArticle in proceeding

  52. 2009
  53. Published

    Analysing Access Control Specifications. / Probst, Christian W.; Hansen, Rene Rydhof.

    Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). Vol. 4 IEEE Computer Society Press, 2009. p. 22-33.

    Publication: Research - peer-reviewArticle in proceeding

  54. Published

    Characterization of Static/Dynamic Topological Routing For Grid Networks. / Gutierrez Lopez, Jose Manuel; Cuevas, Ruben; Riaz, M. Tahir; Pedersen, Jens Myrup; Madsen, Ole Brun.

    The Eighth International Conference on Networks (ICN 2009). IEEE Computer Society Press, 2009.

    Publication: Research - peer-reviewArticle in proceeding

  55. Published

    Context-based adaptive filtering of interest points in image retrieval. / Nguyen, Phuong Giang; Andersen, Hans Jørgen.

    Proceedings of the 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE Computer Society Press, 2009. p. 529-534.

    Publication: Research - peer-reviewArticle in proceeding

  56. Published

    Data Management Infrastructure for the Mobile Web. / Jensen, Christian Søndergaard.

    Semantics, Knowledge and Grid, 2009. SKG 2009. Fifth International Conference. IEEE Computer Society Press, 2009. p. 1-1.

    Publication: Research - peer-reviewArticle in proceeding

  57. Published

    Graph Model Based Indoor Tracking. / Jensen, Christian Søndergaard; Lu, Hua; Yang, Bin.

    Mobile Data Management: Systems, Services and Middleware, 2009. MDM '09. Tenth International Conference. IEEE Computer Society Press, 2009. p. 122-131.

    Publication: Research - peer-reviewArticle in proceeding

  58. Published

    Learning Local Components to Understand Large Bayesian Networks. / Zeng, Yifeng; Xiang, Yanping; Cordero, Jorge; Lin, Yujian.

    IEEE International Conference on Data Mining (ICDM 2009). 9. ed. IEEE Computer Society Press, 2009. p. 1076-1081 (Proceedings of the 2009 Ninth IEEE International Conference on Data Mining).

    Publication: Research - peer-reviewArticle in proceeding

  59. Published

    Outsourcing Search Services on Private Spatial Data. / Yiu, Man Lung; Ghinita, Gabriel; Jensen, Christian Søndergaard; Kalnis, Panos.

    Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2009. p. 1140-1143.

    Publication: Research - peer-reviewArticle in proceeding

  60. Published

    Relevant Subspace Clustering : Mining the Most Interesting Non-Redundant Concepts in High-Dimensional Data. / Müller, Emmanuel; Assent, Ira; Günnemann, Stephan; Krieger, Ralph; Seidl, Thomas.

    Proc. IEEE International Conference on Data Mining (ICDM 2009). IEEE Computer Society Press, 2009. p. 377-386.

    Publication: Research - peer-reviewArticle in proceeding

  61. Published

    Reviews in innovative software development : The Gauntlet game. / Aaen, Ivan; Boelsmand, Jeppe Vestergaard; Jensen, Rasmus; Saxov, Morten.

    Computational Intelligence for Modelling Control & Automation, 2008 International Conference on. ed. / Masoud Mohammadian. IEEE Computer Society Press, 2009. p. 1234-1239.

    Publication: Research - peer-reviewArticle in proceeding

  62. Published

    Routing Questions to the Right Users in Online Communities. / Zhou, Yanhong; Cong, Gao; Cui, Bin; Jensen, Christian Søndergaard; Yao, Junjie.

    Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2009. p. 700-711 (ICDE).

    Publication: Research - peer-reviewArticle in proceeding

  63. Published

    Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. / Hansen, Rene; Wind, Rico; Jensen, Christian Søndergaard; Thomsen, Bent.

    Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. Vol. 00 IEEE Computer Society Press, 2009. p. 267-272.

    Publication: Research - peer-reviewArticle in proceeding

  64. Published

    Self-Adaptive Anytime Stream Clustering. / Kranen, Philipp; Assent, Ira; Baldauf, Corinna; Seidl, Thomas.

    Proc. IEEE International Conference on Data Mining (ICDM 2009). IEEE Computer Society Press, 2009. p. 249-258 (ICDM).

    Publication: Research - peer-reviewArticle in proceeding

  65. Published

    Semantics for Communicating Actors with Interdependent Real-Time Deadlines. / Knoll, Istvan; Ravn, Anders Peter; Skou, Arne.

    Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, 2009. p. 29-35.

    Publication: Research - peer-reviewArticle in proceeding

  66. Published

    Simulation of random set models for unions of discs and the use of power tessellations. / Møller, Jesper; Helisova, Katerina.

    2009 Sixth International Symposium on Voronoi Diagrams (ISVD 2009). ed. / Hale Erten et al. (Eds.). IEEE Computer Society Press, 2009. p. 99-108.

    Publication: Research - peer-reviewArticle in proceeding

  67. Published

    Social and Behavioral Aspects of a Tag-Based Recommender System. / Durao, Frederico; Dolog, Peter.

    Proceedings of the 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE Computer Society Press, 2009. p. 294-299.

    Publication: Research - peer-reviewArticle in proceeding

  68. Published

    Tank War Using Online Reinforcement Learning. / Toftgaard Andersen, Kresten; Zeng, Yifeng; Dahl Christensen, Dennis; Tran, Dung.

    2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology: Proceedings of 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 09). 2. ed. IEEE Computer Society Press, 2009. p. 497-500.

    Publication: Research - peer-reviewArticle in proceeding

  69. Published

    Timed Testing under Partial Observability. / David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian.

    Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, 2009. p. 61-70.

    Publication: Research - peer-reviewArticle in proceeding

  70. Published

    Verification and Performance Analysis for Embedded Systems. / Larsen, Kim Guldstrand.

    TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. ed. / Chi Wei-Ngan; Qin Shengchao. Vol. 3 IEEE Computer Society Press, 2009. p. 3-4 (TASE).

    Publication: Research - peer-reviewArticle in proceeding

  71. Published

    WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code. / Lawall, Julia; Lawall, Julia; Palix, Nicolas; Hansen, Rene Rydhof; Muller, Gilles.

    Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, 2009. p. 43-52.

    Publication: Research - peer-reviewArticle in proceeding

  72. 2008
  73. Published

    12th International Conference formation Visualisation, 2008. IV '08. / Banissi, Ebad (Editor); Stuart, Liz (Editor); Jern, Mikael (Editor); Andrienko, Gennady (Editor); Marchese, Francis T. (Editor); Memon, Nasrullah (Editor); Alhajj, Reda (Editor); Wyeld, Theodor G. (Editor); Bukhard, Remo Aslak (Editor); Grinstein, Georses (Editor); Groth, Dennis (Editor); Ursyn, Anna (Editor); Maple, Carsten (Editor); Faiola, Anthony (Editor); Craft, Brock (Editor).

    IEEE Computer Society Press, 2008. 654 p.

    Publication: ResearchAnthology

  74. Published

    Classification of SOA Contract Specification Languages. / Okika, Joseph C.; Ravn, Anders Peter.

    Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00. ed. IEEE Computer Society Press, 2008. p. 433-440.

    Publication: Research - peer-reviewArticle in proceeding

  75. Published

    Efficient and Flexible KNN Query Processing in Real-Life Road Networks. / Lu, Yang; Bui, Bin; Zhao, Jiakui; Lu, Hua; Shen, Jialie.

    Proceedings of the 9th International Conference on Web-Age Information Management (WAIM). IEEE Computer Society Press, 2008. p. 230-237.

    Publication: Research - peer-reviewArticle in proceeding

  76. Published

    Emergent Structure and Awareness Support for Intelligence Analysis. / Atzenbeck, Claus; Hicks, David; Memon, Nasrullah.

    Information Visualization. ed. / Ebad Banissi; Liz Stuart; Mikael Jern; Gennady Andrienko; Francis T. Marchese; Nasrullah Memon; Reda Alhajj; Theodor G. yeld; Remo Aslak Bukhard; Georges Grinstein; Dennis Groth; Anna Ursyn; Carsten Maple; Anthony Faiiola; Brock Craft. IEEE Computer Society Press, 2008. p. 326-332.

    Publication: Research - peer-reviewArticle in proceeding

  77. Published

    Evaluation of five algorithms for mapping brain cortical surfaces. / Eskildsen, Simon Fristed; Østergaard, Lasse Riis.

    Proceedings of the 2008 XXI Brazilian Symposium on Computer Graphics and Image Processing. IEEE Computer Society Press, 2008. p. 137-144.

    Publication: Research - peer-reviewArticle in proceeding

  78. Published

    Hardware Objects for Java. / Schoeberl, Martin; Thalinger, Christian; Korsholm, Stephan; Ravn, Anders Peter.

    11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, 2008. p. 445-452.

    Publication: Research - peer-reviewArticle in proceeding

  79. Published

    Indexing the Positions of Continuously Moving Objects. / Saltenis, Simonas.

    Encyclopedia of GIS. ed. / Shashi Shekhar; Hui Xiong. IEEE Computer Society Press, 2008.

    Publication: ResearchEncyclopedia chapter

  80. Published

    Interrupt Handlers in Java. / Korsholm, Stephan; Schoeberl, Martin; Ravn, Anders Peter.

    11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, 2008. p. 453-457.

    Publication: Research - peer-reviewArticle in proceeding

  81. Published

    Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning. / Demri, Stéphane (Editor); Jensen, Christian Søndergaard (Editor).

    IEEE Computer Society Press, 2008. 184 p. (International Workshop on Temporal Representation and Reasoning. Proceedings).

    Publication: ResearchAnthology

  82. Published

    Static validation of licence conformance policies. / Hansen, Rene Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.

    ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, 2008. p. 1104-1111.

    Publication: Research - peer-reviewArticle in proceeding

  83. 2007
  84. Published

    17th International Conference on Artificial Reality and Telexistence : ICAT 2007, Esbjerg, Jylland, Denmark, 28-30 November 2007. / Brooks, Tony; Ikei, Yasushi; Petersson, Eva; Haller, Michael; Kim, Gerry J.

    Los Alamitos, CA : IEEE Computer Society Press, 2007. 320 p.

    Publication: ResearchBook

  85. Published

    A Cooperative ID for 4G (INVITED). / Frattasi, Simone; Fathi, Hanane.

    Cognitive Wireless Networks: Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications. IEEE Computer Society Press, 2007.

    Publication: ResearchBook chapter

  86. Published

    A Cooperative Scheme Enabling Spatial Reuse in Wireless Networks. / Lu, Chenguang; Fitzek, Frank; Eggers, Patrick Claus F.

    Cognitive Wireless Networks: Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications. ed. / Frank H.P. Fitzek; Marcos D. Katz. 1. ed. IEEE Computer Society Press, 2007.

    Publication: ResearchBook chapter

  87. Published

    A Peer-to-Peer Indexing Service for Data Grids. / Jensen, Henrik Thostrup; Kleist, Josva.

    Advances in Grid and Pervasive Computing: Second International Conference, GPC07. ed. / Christophe Cérin; Kuan-Ching Li. IEEE Computer Society Press, 2007. p. 507-518 (Lecture Notes in Computer Science; No. 4459).

    Publication: Research - peer-reviewArticle in proceeding

  88. Published

    A Profile for Safety Critical Java. / Schoeberl, Martin; Søndergaard, Hans; Thomsen, Bent; Ravn, Anders Peter.

    Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, 2007. p. 94-101.

    Publication: Research - peer-reviewArticle in proceeding

  89. Published

    A refinement driven component-based design. / Chen, Zhenbang; Liu, Zhiming; Ravn, Anders Peter; Stolz, Volker; Yang, Lu.

    Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, 2007. p. 277-289.

    Publication: Research - peer-reviewArticle in proceeding

  90. Published

    A Right Coprime Factorization of Neural State Space Models. / Bendtsen, Jan Dimon.

    Seventh International Conference on Intelligent Systems Design and Applications. IEEE Computer Society Press, 2007. p. 177.

    Publication: Research - peer-reviewArticle in proceeding

  91. Published

    An Adaptive Land-use Simulation Model for Integrated Coastal Zone Planning. / Hansen, Henning Sten.

    The European Information Society: Leading the Way with Geo-information. ed. / Sara Irina Fabrikant; Monica Wachowicz. Berlin : IEEE Computer Society Press, 2007. p. 35-53 (Lecture Notes in Geoinformation and Cartography).

    Publication: ResearchBook chapter

  92. Published

    Analyzing Web Service Contracts : an aspect oriented approach. / Cambronero, M.-Emilia; Okika, Joseph C.; Ravn, Anders Peter.

    Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM'2007. IEEE Computer Society Press, 2007. p. 149-154.

    Publication: Research - peer-reviewArticle in proceeding

  93. Published

    Applications of HUGIN to diagnosis and control of autonomous vehicles. / Madsen, Anders Læsø; Kjærulff, Uffe.

    Advances in probabilistic graphical models. Berlin / Heidelberg : IEEE Computer Society Press, 2007. p. 313-332 (Studies in Fuzziness and Soft Computing; No. 213).

    Publication: ResearchBook chapter

  94. Published

    Applying Data Fusion Methods to Passage Retrieval in QAS. / Christensen, Hans Ulrich; Ortiz-Arroyo, Daniel.

    Multiple Classifier Systems: 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings. ed. / Michal Haindl; Josef Kittler; Fabio Roli. IEEE Computer Society Press, 2007. p. 82 (Lecture Notes in Computer Science, Vol. 4472).

    Publication: Research - peer-reviewArticle in proceeding

  95. Published

    Automatic Abstraction Refinement for Timed Automata. / Larsen, Kim Guldstrand; kupferschmid, Sebastian; Dierks, Henning.

    Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, 2007. p. 114-129 (Lecture notes in computer Science; No. 4763).

    Publication: Research - peer-reviewArticle in proceeding

  96. Published

    Automatic Annotation of Humans in Surveillance Video. / Hansen, Dennis Mølholm; Mortensen, Bjarne Kondrup; Duizer, Paul; Andersen, Jens Rosenkjær; Moeslund, Thomas B.

    Proceedings of the Fourth Canadian Conference on Computer and Robot Vision. IEEE Computer Society Press, 2007. p. 473-480.

    Publication: Research - peer-reviewArticle in proceeding

  97. Published

    Ballistic impact facility - considerations and experiences. / Bull, Peter H.; Kepler, Jørgen Asbøl.

    Proceedings of the 13th International Conference on Experimental Mechanics. IEEE Computer Society Press, 2007.

    Publication: Research - peer-reviewArticle in proceeding

  98. Published

    Bayesian Networks and Decision Diagrams. / Jensen, Finn V.; Nielsen, Thomas Dyhre.

    2. ed. New York : IEEE Computer Society Press, 2007. 463 p. (Information Science and Statistics).

    Publication: ResearchBook

  99. Published

    Can we close the long term mass balance equation for pollutants in highway ponds?. / Bentzen, Thomas Ruby; Larsen, Torben; Rasmussen, Michael R.

    Highway and Urban Environment: Proceedings of the 8th Highway and Urban Environment Symposium. ed. / Gregory Morrison; Sébastien Rauch. IEEE Computer Society Press, 2007. p. 511-520 (Alliance for Global Sustainability Bookseries Science and Technology : Tools for Sustainable Development, Vol. 12).

    Publication: Research - peer-reviewArticle in proceeding

  100. Published

    Challenges in the Tracking and Prediction of Scheduled-Vehicle Journeys : in Proceedings of the First International Workshop on Pervasive Transportation Systems, White Plains, NY, USA,. / Jensen, Christian Søndergaard; Tiesyte, Dalia.

    First International Workshop on Pervasive Transportation Systems (PerTrans '07). IEEE Computer Society Press, 2007.

    Publication: Research - peer-reviewArticle in proceeding

  101. Published

    Classification of Gait Types Based on the Duty-factor. / Fihl, Preben; Moeslund, Thomas B.

    IEEE Conference on Advanced Video and Signal Based Surveillance, 2007. AVSS 2007. IEEE Computer Society Press, 2007.

    Publication: Research - peer-reviewArticle in proceeding

  102. Published

    Client-Centric Performance Analysis of a High-Availability Cluster. / Grønbæk, Lars Jesper; Schwefel, Hans-Peter; Renier, Thibault; Frejek, Hans-Peter.

    Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings. ed. / Manfred Reitenspieß; Aad van Moorsel; Miroslaw Malek. IEEE Computer Society Press, 2007. p. 74-93.

    Publication: Research - peer-reviewArticle in proceeding

  103. Published
  104. Published

    Comparison of different fuzzy controllers for powered prosthetic gait. / Caltenco Arciniega, Hector Alejandro; Meléndez-Calderón, A.; Dosen, Strahinja; Chong-Quero, J.E.

    Proceedings Electronics, Robotics and Automotive Mechanics Conference, CERMA 2007, 25-28 September 2007, Cuernavaca, Mexico. IEEE Computer Society Press, 2007. p. 651-656.

    Publication: Research - peer-reviewArticle in proceeding

  105. Published

    Control for therapeutic functional electrical stimulation. / Popovic, Dejan B.; Popovic, Mirjana.

    11th Mediterranean Conference on Medical and Biological Engineering and Computing, Medicon 2007, 26-30 June 2007, Ljubljana, Slovenia [CD-ROM]. IEEE Computer Society Press, 2007. p. 3-6 (IFMBE Proceedings (Proceedings of the International Federation for Medical & Biological Engineering); No. 16).

    Publication: ResearchArticle in proceeding

  106. Published

    Cooperative Mobile Positioning in 4G Wireless Networks (INVITED). / Frattasi, Simone; Monti, Marco.

    Cognitive Wireless Networks: Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications. IEEE Computer Society Press, 2007.

    Publication: ResearchBook chapter

  107. Published

    Cross-Layer Example for Multimedia Services over Bluetooth. / Pedersen, Morten V.; Perrucci, Gian Paolo; Arildsen, Thomas; Madsen, Tatiana Kozlova; Fitzek, Frank.

    Mobile Phone Programming and its Application to Wireless Networking. ed. / Frank Fitzek; Frank Reichert. Dordrecht, The Netherlands : IEEE Computer Society Press, 2007. p. 363-371.

    Publication: ResearchBook chapter

Previous 1 2 3 4 5 Next