Browse Title Index


 
Issue Title
 
A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software, nr. 117, 2007 A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software Details   PDF
Kim S. Henriksen
 
A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology, nr. 133, 2011 A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology Details   PDF
Jens Ulrik Hansen
 
An Otimised Algorithm for Determinisation and Completion of Finite Tree Automata, nr. 145, 2014 An Otimised Algorithm for Determinisation and Completion of Finite Tree Automata Details   PDF
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
 
Arbejdet i hjemmeplejen: Et etnometodologisk studie af IT-støttet samarbejde i den københavnske hjemmepleje, nr. 123, 2008 Arbejdet i hjemmeplejen: Et etnometodologisk studie af IT-støttet samarbejde i den københavnske hjemmepleje Details   PDF
Magnus Nilsson
 
Compositionality in probabilistic logic modelling for biological sequence analysis, nr. 135, 2011 Compositionality in probabilistic logic modelling for biological sequence analysis Details   PDF
Ole Torp Lassen
 
Context'07: Doctoral Consortium Proceedings, nr. 118, 2007 Context'07: Doctoral Consortium Proceedings Details   PDF
Paolo Bouquet
 
Discovering the Proces of User Expectating in a Pilot Implementation: Expectations and Experiences in Information System Development, nr. 144, 2014 Discovering the Proces of User Expectating in a Pilot Implementation: Expectations and Experiences in Information System Development Details   PDF
Magnus Rotvit Perlt Hansen
 
Efficient Probabilistic Logic Programming for Biological Sequence Analysis, nr. 137, 2013 Efficient Probabilistic Logic Programming for Biological Sequence Analysis Details   PDF
Christian Theil Have
 
Electronic Whiteboards in Emergency Medicine: Studies of Implementation Processes and User Interface Design Evaluations, nr. 138, 2013 Electronic Whiteboards in Emergency Medicine: Studies of Implementation Processes and User Interface Design Evaluations Details   PDF
Rasmus Rasmussen
 
Interacting Bodies: Posthuman Enactments of the Problem of Diabetes. Relating Science, Technology and Society-studies, User-Centered Design and Diabetes Practices, nr. 120, 2008 Interacting Bodies: Posthuman Enactments of the Problem of Diabetes. Relating Science, Technology and Society-studies, User-Centered Design and Diabetes Practices Details   PDF
Peter Danholt
 
Modelling and Analysis of Real Time Systems with Logic Programming and Constraints, nr. 130, 2010 Modelling and Analysis of Real Time Systems with Logic Programming and Constraints Details   PDF
Gourinath Banda
 
On speech recognition during anasthesia, nr. 119, 2007 On speech recognition during anasthesia Details   PDF
Alexandre Alapetite
 
Participation and Evaluation in the Design of Healthcare Work Systems: A participatory design approach to organisational implementation, nr. 129, 2010 Participation and Evaluation in the Design of Healthcare Work Systems: A participatory design approach to organisational implementation Details   PDF
Maren Sander Granlien
 
Proceedings of the 2007 Workshop on Contexts and ontologies Representations and Reasoning (C og O:RR-2007), nr. 115, 2007 Proceedings of the 2007 Workshop on Contexts and ontologies Representations and Reasoning (C og O:RR-2007) Details   PDF
Paolo Bouquet, Jérôme Euzenat, Chiara Ghidini, Deborah L. McGuinness, Valeria de Paiva, Luciano Serafini, Pavel Shvaiko, Holger Wache
 
Proceedings of the 2007 Workshop on Contextual Information in Semantic Space Models. Beyond Words and Documents, nr. 116, 2007 Proceedings of the 2007 Workshop on Contextual Information in Semantic Space Models. Beyond Words and Documents Details   PDF
Marco Baroni, Alessandro Lenci, Magnus Sahlgren
 
Proceedings of the 2007 workshop on: Representation models and techniques for improving e-learning (ReTleL'07) - Bringing Context into the Web-based Education, nr. 111, 2007 Proceedings of the 2007 workshop on: Representation models and techniques for improving e-learning (ReTleL'07) - Bringing Context into the Web-based Education Details   PDF
Ioannis Hatzilygeroudis, Alvaro Ortigosa, Maria D. Rodriguez-Moreno
 
Proceedings of the 2nd International Workshop on Context-based Information Retrieval, nr. 114, 2007 Proceedings of the 2nd International Workshop on Context-based Information Retrieval Details   PDF
Bich-Liên Doan, Joemon Jose, Massimo Melucci
 
Proceedings of the 4th International Workshop on Constraints and Language Processing (CSLP 2007), nr. 113, 2007 Proceedings of the 4th International Workshop on Constraints and Language Processing (CSLP 2007) Details   PDF
Henning Christiansen, Jørgen Villadsen
 
Proceedings of the 4th International Workshop on Modeling and Reasoning in Context (MRC 2007) with Special Session on the Role of Contextualization in Human Tasks (CHUT), nr. 112, 2007 Proceedings of the 4th International Workshop on Modeling and Reasoning in Context (MRC 2007) with Special Session on the Role of Contextualization in Human Tasks (CHUT) Details   PDF
Anders Kofod-Petersen, Jörg Cassens, David B. Leake, Stefan Schulz
 
Proceedings of the 5th international Workshop on Constraints and Language Processing (CSLP 2008), nr. 122, 2008 Proceedings of the 5th international Workshop on Constraints and Language Processing (CSLP 2008) Details   PDF
Jørgen Villadsen, Henning Christiansen
 
Proceedings of the First European Workshop on Biometrics and Identity Management (BIOID 2008), nr. 121, 2008 Proceedings of the First European Workshop on Biometrics and Identity Management (BIOID 2008) Details   PDF
Ben Schouten, Niels Christian Juul
 
Proceedings of the International Workshop on Logic in Databases (LID 2009), nr. 127, 2009 Proceedings of the International Workshop on Logic in Databases (LID 2009) Details   PDF
Leopoldo Bertossi, Henning Christiansen
 
Proceedings of the Tenth Danish Human-Computer Interaction Research Symposium (DHRS2010), nr. 132, 2010 Proceedings of the Tenth Danish Human-Computer Interaction Research Symposium (DHRS2010) Details   PDF
Morten Hertzum, Magnus Hansen
 
Regulatory Relations Represented in Logics and Biomedical Texts, nr. 136, 2012 Regulatory Relations Represented in Logics and Biomedical Texts Details   PDF
Sine Zambach
 
Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm, nr. 143, 2014 Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm Details   PDF
Keld Helsgaun
 
1 - 25 of 30 Items 1 2 > >>