|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3720 occurrences of 1951 keywords
|
|
|
Results
Found 4469 publication records. Showing 4417 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | James Ravenscroft, Maria Liakata, Amanda Clare |
Partridge: An Effective System for the Automatic Cassification of the Types of Academic Papers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 351-358, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Peter Rausch, Frederic T. Stahl, Michael Stumpf |
Efficient Interactive Budget Planning and Adjusting Under Financial Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 375-388, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Zena Wood |
Profiling Spatial Collectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 95-108, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Emmanuel Agiriga, Frans Coenen, Jane Hurst, Darek Kowalski |
A Multiagent Based Framework for the Simulation of Mammalian Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 435-441, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Didier Dubois, Henri Prade, Fayçal Touazi |
Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 175-184, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Christian Severin Sauer, Lotta Rintala, Thomas Roth-Berghofer |
Knowledge Formalisation for Hydrometallurgical Gold Ore Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXX, Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 10-12, 2013, pp. 291-304, 2013, Springer, 978-3-319-02620-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | George MacGinnis |
The National Health Service in England - Moving to Mainstream Use of Ambient Assisted Living Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Ambient Assisted Living ![In: Handbook of Ambient Assisted Living - Technology for Healthcare, Rehabilitation and Well-being, pp. 37-66, 2012, IOS Press, 978-1-60750-836-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Bhakti Stephan Onggo |
Adult Social Care Workforce Analysis in England: A System Dynamics Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Dyn. Appl. ![In: Int. J. Syst. Dyn. Appl. 1(4), pp. 1-20, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Herman Geuvers, Ugo de'Liguoro (eds.) |
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey Garrett |
The British Isles, Vol. 1, England. Guides to Dutch Atlas Maps. Eds. Peter van der Krogt and Elger Heere. Houten, Netherlands: Hes & De Graaf; New Castle, Del.: Oak Knoll Press, 2012. 256p. alk. paper, $115 (ISBN 9781584563006). LC 2011-592008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 73(5), pp. 507-508, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Michael C. Bromby |
Response to the consultation by the Judicial Office for England and Wales on the Use of Live, Text-Based Forms of Communications from Court for the Purposes of Fair and Accurate Reporting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Law Technol. ![In: Eur. J. Law Technol. 3(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Kathrin M. Cresswell, Ann Robertson, Aziz Sheikh |
Lessons learned from England's national electronic health record implementation: implications for the international community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHI ![In: ACM International Health Informatics Symposium, IHI '12, Miami, FL, USA, January 28-30, 2012, pp. 685-690, 2012, ACM, 978-1-4503-0781-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Max Bramer, Miltos Petridis (eds.) |
Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![Springer, 978-1-4471-4738-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | John Heywood |
A philosophy driven curriculum: The example of an engineering science course in england. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2012, Seattle, WA, USA, October 3-6, 2012, pp. 1-6, 2012, IEEE Computer Society, 978-1-4673-1351-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Federico Aschieri, Margherita Zorzi |
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 1-18, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Robbert Krebbers |
A call-by-value lambda-calculus with lists and control ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 19-33, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Powell 0001 |
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 49-62, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Koji Nakazawa, Shin-ya Katsumata |
Extensional Models of Untyped Lambda-mu Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 35-47, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Micah Rosenkind, Graham Winstanley, Andrew Blake 0002 |
Adapting Bottom-up, Emergent Behaviour for Character-Based AI in Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 333-346, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Rashida Adeeb Khanum, Muhammad Asif Jan |
Hybridization of Adaptive Differential Evolution with BFGS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 441-446, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Giovanna Martínez-Arellano, Lars Nolle, John A. Bland |
Improving WRF-ARW Wind Speed Predictions using Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 347-360, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Nicole M. Y. Lee, Henry Y. K. Lau |
A Cooperative Multi-objective Optimization Framework based on Dendritic Cells Migration Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 201-206, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Peter C. R. Lane, Fernand Gobet |
Using Chunks to Categorise Chess Positions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 93-106, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | John Hannon, Kevin McCarthy, Barry Smyth |
Content vs. Tags for Friend Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 289-302, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Edward Tersoo Apeh, Indre Zliobaite, Mykola Pechenizkiy, Bogdan Gabrys |
Predicting Multi-class Customer Profiles Based on Transactions: a Case Study in Food Sales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 213-218, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Asmaa Mountassir, Houda Benbrahim, Ilham Berrada |
A cross-study of Sentiment Classification on Arabic corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 259-272, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Zurina Saaya, Markus Schaal, Maurice Coyle, Peter Briggs, Barry Smyth |
A Comparison of Machine Learning Techniques for Recommending Search Experiences in Social Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 195-200, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Steven Bourke, Michael P. O'Mahony, Rachael Rafter, Kevin McCarthy, Barry Smyth |
Collaborative Filtering For Recommendation In Online Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 303-316, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Paiva Lima da Silva, Jean-François Baget, Madalina Croitoru |
A Generic Platform for Ontological Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 151-164, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Frederic T. Stahl, David May 0004, Max Bramer |
Parallel Random Prism: A Computationally Efficient Ensemble Learner for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 21-34, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Nadia Fathe Hmad, Tony Allen |
Biologically inspired Continuous Arabic Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 245-258, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Matti Lyra, Daoud Clarke, Hamish Morgan, Jeremy Reffin, David J. Weir |
Challenges in Applying Machine Learning to Media Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 419-432, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Muñoz 0002, María D. R.-Moreno |
S-Theta: low steering path-planning algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 109-121, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ruihai Dong, Markus Schaal, Michael P. O'Mahony, Kevin McCarthy, Barry Smyth |
Unsupervised Topic Extraction for the Reviewer's Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 317-330, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Kwankamon Dittakan, Frans Coenen, Rob M. Christley |
Towards The Collection of Census Data From Satellite Imagery Using Data Mining: A Study With Respect to the Ethiopian Hinterland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 405-418, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Sandra Garcia Esparza, Michael P. O'Mahony, Barry Smyth |
Towards the Profiling of Twitter Users for Topic-Based Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 273-286, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan |
Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 391-404, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Peter Rausch, Heinrich J. Rommelfanger, Michael Stumpf, Birgit Jehle |
Managing Uncertainties in the Field of Planning and Budgeting - An Interactive Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 375-388, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Dimitris C. Dracopoulos, Barry D. Nichols |
Swing Up and Balance Control of the Acrobot Solved by Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 229-242, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Mondelle Simeon, Robert J. Hilderman, Howard J. Hamilton |
Mining Interesting Correlated Contrast Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 49-62, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Frederic T. Stahl, Mohamed Medhat Gaber, Manuel Martin Salvador |
eRules: A Modular Adaptive Classification Rule Learning Algorithm for Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 65-78, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Mai Le, Bogdan Gabrys, Detlef D. Nauck |
A Hybrid Model for Business Process Event Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 179-192, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Xiangzeng Kong, Yaxin Bi, David H. Glass |
A Geometric Moving Average Martingale method for detecting changes in data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 79-92, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Matias Garcia-Constantino, Frans Coenen, P.-J. Noble, Alan D. Radford |
Questionnaire Free Text Summarisation Using Hierarchical Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 35-48, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | J. W. Baxter, Jack Hargreaves, Nick Hawes, Rustam Stolkin |
Controlling Anytime Scheduling of Observation Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 219-224, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ben Blamey, Tom Crick, Giles Oatley |
R U : -) or : -( ? Character- vs. Word-Gram Feature Selection for Sentiment Classification of OSN Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 207-212, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Aristomenis S. Lampropoulos, George A. Tsihrintzis |
Comparative Study of One-Class Classifiers for Item-based Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 435-440, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Tariq Tashan, Tony Allen, Lars Nolle |
Biologically inspired speaker verification using Spiking Self-Organising Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 5-17, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Rudolph, Madalina Croitoru |
Multi-Agent Knowledge Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 165-178, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Björn Gmeiner, Gerald Donnert, Harald Köstler |
Optimizing Opening Strategies in a Real-time Strategy Game by a Multi-objective Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 361-374, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Hamid Ali, Farrukh Aslam Khan |
Comprehensive Parent Selection-based Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 123-135, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Muñoz 0002, David F. Barrero, María D. R.-Moreno |
Run-Time Analysis of Classical Path-Planning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXIX, Incorporating Applications and Innovations in Intelligent Systems XX: Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, December 11-13, 2012, pp. 137-148, 2012, Springer, 978-1-4471-4738-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Emmanuel Thanassoulis, Mika Kortelainen, Geraint Johnes, Jill Johnes |
Costs and efficiency of higher education institutions in England: a DEA analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 62(7), pp. 1282-1297, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Maria Conceição A. Silva Portela, Emmanuel Thanassoulis, A. Horncastle, T. Maugg |
Productivity change in the water industry in England and Wales: application of the meta-Malmquist index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 62(12), pp. 2173-2188, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Giles A. Hindle, T. Hindle |
Safety cameras and road accidents: effectiveness in local authority areas in England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 62(7), pp. 1181-1188, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Randy Hinrichs, Valerie Hill, Daniel Patterson 0003 |
Charles Wankel and Jan Kingsley, Editors, Higher education in Virtual Worlds: Teaching and Learning in Second Life, Emerald Grp Publ., England, UK (2009) ISBN-10: 8251923530; ISBN-13: 978-8251923538. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 47(1), pp. 143-146, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Matthew H. Edney |
A Cautionary Historiography of John Smith's New England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cartogr. Int. J. Geogr. Inf. Geovisualization ![In: Cartogr. Int. J. Geogr. Inf. Geovisualization 46(1), pp. 1-27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Virginia McShane Warfield |
Review: What's Math Got To Do With It? Viking Press, London, England, 2008, xii + 273 pp., ISBN 978-0-670-01952-6, $24.95 by Jo Boaler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 118(1), pp. 92-95, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Maurice C. York |
Simon Cooke. Illustrated Periodicals of the 1860s: Contexts & Collaborations. Middlesex, England: Private Libraries Association; New Castle, Del.: Oak Knoll Press; London: British Library, 2010. 228p. alk. paper, $75 (ISBN 9781584562757). LC 200947859. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 72(4), pp. 401-402, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Larry Stillman |
A Review of "Global Challenges for Identity Policies" by Edgar A. Whitley and Ian R. Hosein. Basingstoke, England: Palgrave Macmillan, 2009, 283 + xix pp. $53.00 cloth. ISBN 0-230-54223-9 (cloth). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 27(4), pp. 269-271, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Max Bramer, Miltos Petridis, Adrian Hopgood (eds.) |
Research and Development in Intelligent Systems XXVII - Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, 14-16 December 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![Springer, 978-0-85729-129-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Jasmine Harvey, Anthony J. Avery, Justin Waring, Ralph Hibberd, Nicholas Barber |
A Constructivist approach? Using formative evaluation to inform the Electronic Prescription Service Implementation in Primary Care, England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: User Centered Networked Health Care - Proceedings of MIE 2011 - The XXIIIth International Congress of the European Federation for Medical Informatics, Oslo, Norway, August 28-31, 2011, pp. 374-378, 2011, IOS Press, 978-1-60750-805-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Elizabeth Shepherd, Alice Stevenson, Andrew Flinn |
Information governance, records management, and freedom of information: A study of local government authorities in England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gov. Inf. Q. ![In: Gov. Inf. Q. 27(4), pp. 337-345, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | I. C. Mogotsi |
Christopher D. Manning, Prabhakar Raghavan, and Hinrich Schütze: Introduction to information retrieval - Cambridge University Press, Cambridge, England, 2008, 482 pp, ISBN: 978-0-521-86571-5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 13(2), pp. 192-195, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jacqui Weetman DaCosta |
Is There an Information Literacy Skills Gap to Be Bridged? An Examination of Faculty Perceptions and Activities Relating to Information Literacy in the United States and England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 71(3), pp. 203-222, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Steven K. Galbraith |
James Kearney. The Incarnate Text: Imagining the Book in Reformation England. Philadelphia: University of Pennsylvania Press, 2009. 328p. alk. paper, $65 (ISBN 9780812241587). LC 2008-050863. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 71(2), pp. 186-188, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Richard J. Harris 0004, Alexander D. Singleton, Daniel Grose, Chris Brunsdon, Paul A. Longley |
Grid-enabling Geographically Weighted Regression: A Case Study of Participation in Higher Education in England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 14(1), pp. 43-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Isenberg 0001, Neil A. Dodgson |
Event Report: Computational Aesthetics 2010 in London, England, June 14-15, 2010, sponsored by Eurographics, in collaboration with ACM SIGGRAPH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 29(6), pp. 2007, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Roy Sterritt, Brandon Eames, Jonathan Sprinkle (eds.) |
17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![IEEE Computer Society, 978-0-7695-4005-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Valentina Lichtner, Dimitra I. Petrakaki, Ralph Hibberd, Will Venters, A. Cornford, Nick Barber |
Mapping stakeholders for system evaluation - the case of the Electronic Prescription Service in England. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa, September 12-15, 2010, pp. 1221-1225, 2010, IOS Press, 978-1-60750-587-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mark D. Hawker |
Social Networking in the National Health Service in England: A Quantitative Analysis of the Online Identities of 152 Primary Care Trusts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa, September 12-15, 2010, pp. 356-360, 2010, IOS Press, 978-1-60750-587-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jixin Ma 0001, Liz Bacon, Wencai Du, Miltos Petridis (eds.) |
11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![IEEE Computer Society, 978-0-7695-4088-7 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Julio J. Valdés, Antonio Pou |
Central england temperatures and solar activity: A Computational Intelligence approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2010, Barcelona, Spain, 18-23 July, 2010, pp. 1-8, 2010, IEEE, 978-1-4244-6916-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Haydn Mearns, John Leaney, Dominique Verchère |
The Architectural Evolution of Telecommunications Network Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 281-285, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
telecommunications management, architecture, evolution |
18 | Eduardo Machado Gonçalves, Cecília Mary Fischer Rubira |
Archmeds: An Infrastructure for Dependable Service-Oriented Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 371-378, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
service-oriented architecture, fault-tolerant computing, dependability, redundancy |
18 | Michael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky |
A Non-numerical Predictive Model for Asymmetric Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 311-315, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ATRAP, Non-Numerical, Prediction, Data-Fusion, Template |
18 | Daniel Fasel, Khurram Shahzad |
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 100-109, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Data Warehouse modeling, Fuzzy Data Warehouse, Fuzzy Concepts, Fuzzy Logic, Data Warehouse |
18 | Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich |
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 183-192, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
FMC-QE, MDPE, Discrete Event Simulation, Model Transformations, Quantitative Analysis |
18 | Heike S. Rolfs, Andreas W. Liehr, Klaus Buchenrieder |
Communication Modeling for System-Level Performance-Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 193-198, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Extended Queuing Networks, FlexRayTM, Simulation-Model, Communication Modeling |
18 | Abel Marrero Pérez, Stefan Kaiser |
Top-Down Reuse for Multi-level Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 150-159, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Test levels, test reuse, real-time and embedded systems, testing strategies, test design |
18 | Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn |
Generating Test Plans for Acceptance Tests from UML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 57-66, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Model Based Testing, Activity Diagram, Test Case Generation |
18 | Ivan Kastelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan |
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 226-231, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
subimage extraction, functional failure detection, digital TV testing, TV screen capturing, image comparison |
18 | Tony Spiteri Staines |
Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 316-317, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius |
Model-Based Testing Using System vs. Test Models - What Is the Difference?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 291-299, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML bases testing, Model-based testing, System models, Test models |
18 | Fredrik Abbors, Andreas Backlund, Dragos Truscan |
MATERA - An Integrated Framework for Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 321-328, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Model-Based Testing, Model Validation, Requirements Traceability |
18 | Georgiana Macariu, Vladimir Cretu |
Timed Automata Model for Component-Based Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 121-130, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
model checking, components, real-time scheduling |
18 | Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002 |
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 335-343, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 160-169, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories |
18 | Flávia Coimbra Delicato, Paulo F. Pires, Luci Pirmez, Thaís Vasconcelos Batista |
Wireless Sensor Networks as a Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 410-417, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
web mashups, wireless sensor networks, web services, SOA |
18 | Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid |
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 263-267, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Modelling, SystemC, Flocking |
18 | Frank Böhr |
Model Based Statistical Testing and Durations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 344-351, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, real-time, testing, model based testing, usage model |
18 | Gisele M. Simas, Rodrigo Andrade de Bem, Lucas Novelo, Guilherme P. Fickel, Silvia Silva da Costa Botelho |
Visual Tracking Based on 3D Probabilistic Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 403-409, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mike Hinchey, Lorcan Coyle |
Evolving Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 4, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Lianping Chen, Muhammad Ali Babar 0001 |
Supporting Customizable Architectural Design Decision Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 232-240, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software architecture, design rationale, Architectural knowledge, customizability, architectural design decision |
18 | Miroslav Svéda |
Fault Management Driven Design with Safety and Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 113-120, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
operational error, security, safety, fault management, embedded system design |
18 | Jonathan Tate, Iain Bate |
Do Sensornet Protocol Variants Yield Real Benefits?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 19-28, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
wireless networks, protocols, sensornets |
18 | Fan Yang, Wen Su, Huibiao Zhu, Qin Li 0002 |
Formalizing MapReduce with CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 358-367, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Cloud Computing, CSP, MapReduce |
18 | Patricia O'Hagan |
Engineering Self-Service Correctional Facility Biometric Computer-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 5, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Wieczorek, Alin Stefanescu |
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 352-357, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UI Testing, System-level Testing, Service-oriented Architecture, Model-based Testing, Enterprise Systems |
18 | Massood Khaari, Raman Ramsin |
Process Patterns for Aspect-Oriented Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pp. 241-250, 2010, IEEE Computer Society, 978-0-7695-4005-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Software Development, Process Patterns, Situational Method Engineering |
|
|