Search results for "England"

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.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	Peter Rausch, Frederic T. Stahl, Michael Stumpf	Efficient Interactive Budget Planning and Adjusting Under Financial Stress.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	Zena Wood	Profiling Spatial Collectives.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	Emmanuel Agiriga, Frans Coenen, Jane Hurst, Darek Kowalski	A Multiagent Based Framework for the Simulation of Mammalian Behaviour.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	Didier Dubois, Henri Prade, Fayçal Touazi	Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of Priorities.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	Christian Severin Sauer, Lotta Rintala, Thomas Roth-Berghofer	Knowledge Formalisation for Hydrometallurgical Gold Ore Processing.	SGAI Conf.	2013	DBLP DOI BibTeX RDF
18	George MacGinnis	The National Health Service in England - Moving to Mainstream Use of Ambient Assisted Living Technology.	Handbook of Ambient Assisted Living	2012	DBLP DOI BibTeX RDF
18	Bhakti Stephan Onggo	Adult Social Care Workforce Analysis in England: A System Dynamics Approach.	Int. J. Syst. Dyn. Appl.	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.	CL&C	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.	Coll. Res. Libr.	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.	Eur. J. Law Technol.	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.	IHI	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	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	John Heywood	A philosophy driven curriculum: The example of an engineering science course in england.	FIE	2012	DBLP DOI BibTeX RDF
18	Federico Aschieri, Margherita Zorzi	Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic	CL&C	2012	DBLP DOI BibTeX RDF
18	Robbert Krebbers	A call-by-value lambda-calculus with lists and control	CL&C	2012	DBLP DOI BibTeX RDF
18	Thomas Powell 0001	Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma	CL&C	2012	DBLP DOI BibTeX RDF
18	Koji Nakazawa, Shin-ya Katsumata	Extensional Models of Untyped Lambda-mu Calculus	CL&C	2012	DBLP DOI BibTeX RDF
18	Micah Rosenkind, Graham Winstanley, Andrew Blake 0002	Adapting Bottom-up, Emergent Behaviour for Character-Based AI in Games.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Rashida Adeeb Khanum, Muhammad Asif Jan	Hybridization of Adaptive Differential Evolution with BFGS.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Giovanna Martínez-Arellano, Lars Nolle, John A. Bland	Improving WRF-ARW Wind Speed Predictions using Genetic Programming.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Peter C. R. Lane, Fernand Gobet	Using Chunks to Categorise Chess Positions.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	John Hannon, Kevin McCarthy, Barry Smyth	Content vs. Tags for Friend Recommendation.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Asmaa Mountassir, Houda Benbrahim, Ilham Berrada	A cross-study of Sentiment Classification on Arabic corpora.	SGAI Conf.	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.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Bruno Paiva Lima da Silva, Jean-François Baget, Madalina Croitoru	A Generic Platform for Ontological Query Answering.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Frederic T. Stahl, David May 0004, Max Bramer	Parallel Random Prism: A Computationally Efficient Ensemble Learner for Classification.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Nadia Fathe Hmad, Tony Allen	Biologically inspired Continuous Arabic Speech Recognition.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Pablo Muñoz 0002, María D. R.-Moreno	S-Theta: low steering path-planning algorithm.	SGAI Conf.	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.	SGAI Conf.	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.	SGAI Conf.	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.	SGAI Conf.	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.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Dimitris C. Dracopoulos, Barry D. Nichols	Swing Up and Balance Control of the Acrobot Solved by Genetic Programming.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Mondelle Simeon, Robert J. Hilderman, Howard J. Hamilton	Mining Interesting Correlated Contrast Sets.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Mai Le, Bogdan Gabrys, Detlef D. Nauck	A Hybrid Model for Business Process Event Prediction.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Matias Garcia-Constantino, Frans Coenen, P.-J. Noble, Alan D. Radford	Questionnaire Free Text Summarisation Using Hierarchical Classification.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	J. W. Baxter, Jack Hargreaves, Nick Hawes, Rustam Stolkin	Controlling Anytime Scheduling of Observation Tasks.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Aristomenis S. Lampropoulos, George A. Tsihrintzis	Comparative Study of One-Class Classifiers for Item-based Filtering.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Tariq Tashan, Tony Allen, Lars Nolle	Biologically inspired speaker verification using Spiking Self-Organising Map.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Sebastian Rudolph, Madalina Croitoru	Multi-Agent Knowledge Allocation.	SGAI Conf.	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.	SGAI Conf.	2012	DBLP DOI BibTeX RDF
18	Hamid Ali, Farrukh Aslam Khan	Comprehensive Parent Selection-based Genetic Algorithm.	SGAI Conf.	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.	SGAI Conf.	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.	J. Oper. Res. Soc.	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.	J. Oper. Res. Soc.	2011	DBLP DOI BibTeX RDF
18	Giles A. Hindle, T. Hindle	Safety cameras and road accidents: effectiveness in local authority areas in England.	J. Oper. Res. Soc.	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.	Inf. Process. Manag.	2011	DBLP DOI BibTeX RDF
18	Matthew H. Edney	A Cautionary Historiography of John Smith's New England.	Cartogr. Int. J. Geogr. Inf. Geovisualization	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.	Am. Math. Mon.	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.	Coll. Res. Libr.	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).	Inf. Soc.	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	SGAI Conf.	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.	MIE	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.	Gov. Inf. Q.	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.	Inf. Retr.	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.	Coll. Res. Libr.	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.	Coll. Res. Libr.	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.	Trans. GIS	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.	Comput. Graph. Forum	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	ECBS	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.	MedInfo	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.	MedInfo	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	SNPD	2010	DBLP BibTeX RDF
18	Julio J. Valdés, Antonio Pou	Central england temperatures and solar activity: A Computational Intelligence approach.	IJCNN	2010	DBLP DOI BibTeX RDF
18	Haydn Mearns, John Leaney, Dominique Verchère	The Architectural Evolution of Telecommunications Network Management Systems.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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?.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	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.	ECBS	2010	DBLP DOI BibTeX RDF	Simulation, Modelling, SystemC, Flocking
18	Frank Böhr	Model Based Statistical Testing and Durations.	ECBS	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.	ECBS	2010	DBLP DOI BibTeX RDF
18	Mike Hinchey, Lorcan Coyle	Evolving Critical Systems.	ECBS	2010	DBLP DOI BibTeX RDF
18	Lianping Chen, Muhammad Ali Babar 0001	Supporting Customizable Architectural Design Decision Management.	ECBS	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.	ECBS	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?.	ECBS	2010	DBLP DOI BibTeX RDF	wireless networks, protocols, sensornets
18	Fan Yang, Wen Su, Huibiao Zhu, Qin Li 0002	Formalizing MapReduce with CSP.	ECBS	2010	DBLP DOI BibTeX RDF	Cloud Computing, CSP, MapReduce
18	Patricia O'Hagan	Engineering Self-Service Correctional Facility Biometric Computer-Based Systems.	ECBS	2010	DBLP DOI BibTeX RDF
18	Sebastian Wieczorek, Alin Stefanescu	Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.	ECBS	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.	ECBS	2010	DBLP DOI BibTeX RDF	Aspect-Oriented Software Development, Process Patterns, Situational Method Engineering