Search results for "challenges"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Mesut Hakki Casin	Critical Infrastructure Protection (CIP) and Southern Gas Corridor Policies.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Stavri Dhima	The Trans Adriatic Pipeline - Focus and Impact on Albania.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Alessandro Niglia	Opening Remarks.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Dimitrios Manolis	Greece's Contribution to the Security and Diversification of Gas Supply in Europe.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Antonio Colella	Smart Grid Technology. A New Challenge for Cybersecurity.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Mario D'Agostini	Protecting Trans-Adriatic Pipeline - TAP as a Case Study.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Alessandro Niglia	Critical Infrastructure Protection (CEIP) with a Focus on Energy Security.	The Protection of Critical Energy Infrastructure Against Emerging Security Challenges	2015	DBLP DOI BibTeX RDF
23	Sven Havemann, Olaf Wagener, Dieter W. Fellner	Procedural Shape Modeling in Digital Humanities: Potentials and Issues.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Patrick Callet	3D Reconstruction from 3D Cultural Heritage Models.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Pedro Santos 0002, Sebastián Peña Serna, André Stork, Dieter W. Fellner	The Potential of 3D Internet in the Cultural Heritage Domain.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Moritz Neumüller, Andreas Reichinger, Florian Rist, Christian Kern	3D Printing for Cultural Heritage: Preservation, Accessibility, Research and Education.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Daniel Thalmann, Barbara Maïm, Jonathan Maïm	Geometric Issues in Reconstruction of Virtual Heritage Involving Large Populations.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Ayellet Tal	3D Shape Analysis for Archaeology.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Livio De Luca, David Lo Buglio	Geometry vs Semantics: Open Issues on 3D Reconstruction of Architectural Elements.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Neil A. Dodgson	Going to the Movies: Lessons from the Film Industry for 3D Libraries.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	María Teresa Linaza, Miriam Juaristi, Ander García	Reusing Multimedia Content for the Creation of Interactive Experiences in Cultural Institutions.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Marco Di Benedetto 0001, Federico Ponchio, Luigi Malomo, Marco Callieri, Matteo Dellepiane, Paolo Cignoni, Roberto Scopigno	Web and Mobile Visualization for Cultural Heritage.	3D Research Challenges in Cultural Heritage	2014	DBLP DOI BibTeX RDF
23	Tomas Potuzak	Time Requirements of Optimization of a Genetic Algorithm for Road Traffic Network Division Using a Distributed Genetic Algorithm.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Arunas Lipnickas, Kestas Rimkus, Saulius Sinkevicius	Validation of Point Cloud Data for 3D Plane Detection.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Alexander Rotshtein, Hanna Rakytyanska	Optimal Design of Rule-Based Systems by Solving Fuzzy Relational Equations.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Constantin Barbulescu, Stefan Kilyeni	Particle Swarm Optimization Techniques: Benchmarking and Optimal Power Flow Applications.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Abir Smiti, Zied Elouedi	Competence of Case-Based Reasoning System Utilizing a Soft Density-Based Spatial Clustering of Application with Noise Method.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Arunas Lipnickas, Kestas Rimkus, Saulius Sinkevicius	Design of 3D Scene Scanner for Flat Surface Detection.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Pawel Czarnul	Suitability of BeesyCluster and Mobile Development Platforms in Modern Distributed Workflow Applications for Distributed Data Acquisition and Processing.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Bartlomiej Sniezynski, Stanislawa Kluska-Nawarecka, Edward Nawarecki, Dorota Wilk-Kolodziejczyk	Intelligent Information System Based on Logic of Plausible Reasoning.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Juliusz L. Kulikowski	Computer-Aided Relative Assessment of Complex Effects of Decisions.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Patrick G. Clark, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe	Mining Inconsistent Data with Probabilistic Approximations.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Zdzislaw S. Hippe	A Comparison of Two Approaches Used for Intelligent Planning of Complex Chemical Syntheses.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Jerzy Balicki, Waldemar Korlub, Henryk Krawczyk, Jacek Paluszak	Genetic Programming for Interaction Efficient Supporting in Volunteer Computing Systems.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Rimah Amami, Dorra Ben Ayed Mezghanni, Noureddine Ellouze	Feature Selection Using Adaboost for Phoneme Recognition.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Hoang Minh Nguyen 0002, Burkhard C. Wünsche, Patrice Delmas, Christof Lutteroth, Wannes van der Mark	A Robust System for High-Quality Reconstruction of 3D Objects from Photographs.	Issues and Challenges in Artificial Intelligence	2014	DBLP DOI BibTeX RDF
23	Patrick Saint-Dizier	The LELIE project: Risk Analysis and Prevention from Technical.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Patrick Saint-Dizier	An Introduction to TextCoop and Dislog.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Juyeon Kang, Patrick Saint-Dizier	An Analysis of the Discourse Structure of Requirements.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Patrick Saint-Dizier	An Introduction to the Structure of Technical Documents.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Patrick Saint-Dizier	The Language of Technical Documents: A Linguistic Description of Argumentation and Explanation.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Camille Albert, Mathilde Janier, Patrick Saint-Dizier	The Art of Writing Technical Documents.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	Patrick Saint-Dizier	Programming in Dislog.	Challenges of Discourse Processing	2014	DBLP BibTeX RDF
23	John I. Tait, Barou Diallo	Future Patent Search.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Stephen Tomlinson, Bruce Hedin	Measuring Effectiveness in the TREC Legal Track.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Hidetsugu Nanba, Hideaki Kamaya, Toshiyuki Takezawa, Manabu Okumura, Akihiro Shinmori, Hidekazu Tanigawa	Automatic Translation of Scholarly Terms into Patent Terms.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Cornelis H. A. Koster, Jean G. Beney, Suzan Verberne, Merijn Vogel	Phrase-Based Document Categorization.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Steffen Koch 0001, Harald Bosch	From Static Textual Display of Patents to Graphical Interactions.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Hany Azzam, Iraklis A. Klampanos, Thomas Roelleke	Large-Scale Logical Retrieval: Technology for Semantic Modelling of Patent Search.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Richard Bache	Measuring and Improving Access to the Corpus.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Veronika Stefanov, John I. Tait	An Introduction to Contemporary Search Technology.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Florina Piroi, Veronika Zenz	Evaluating Information Retrieval in the Intellectual Property Domain: The Clef-Ip Campaign.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Ted Briscoe, Karl Harrison, Andrew Naish, Andy Parker, Marek Rei, Advaith Siddharthan, David Sinclair, Mark Slater, Rebecca Watson	Intelligent Information Access from Scientific Papers.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Christopher G. Harris 0001, Robert Arens, Padmini Srinivasan	Using Classification Code Hierarchies for Patent Prior Art Searches.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Hamish Cunningham, Valentin Tablan, Ian Roberts, Mark A. Greenwood, Niraj Aswani	Information Extraction and Semantic Annotation for Multi-Paradigm Information Management.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Ben Carterette, Ellen M. Voorhees	Overview of Information Retrieval Evaluation.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Andreas Pesenhofer, Helmut Berger, Michael Dittenbach	Offering New Insights by Harmonizing Patents, Taxonomies and Linked Data.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Mihai Lupu, Jimmy X. Huang, Jianhan Zhu	Evaluation of Chemical Information Retrieval Tools.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Karim Benzineb, Jacques Guyot	Automated Patent Classification.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Peter Parapatics, Michael Dittenbach	Patent Claim Decomposition for Improved Information Extraction.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Anthony J. Trippe, Ian Ruthven	Evaluating Real Patent Retrieval Effectiveness.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Doreen Alberts, Cynthia Barcelon Yang, Denise Fobare-DePonio, Ken Koubek, Suzanne Robins, Matthew Rodgers, Edlyn Simmons, Dominic DeMarco	Introduction to Patent Searching.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	John D. Holliday, Peter Willett 0002	Representation and Searching of Chemical-Structure Information in Patents.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
23	Karl Aberer, Avigdor Gal, Manfred Hauswirth, Kai-Uwe Sattler, Amit P. Sheth (eds.)	Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010	Semantic Challenges in Sensor Networks	2010	DBLP BibTeX RDF
23	Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann (eds.)	Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010	Grand Challenges for Discrete Event Logistics Systems	2010	DBLP BibTeX RDF
23	Marco Anisetti, Valerio Bellandi, Paolo Ceravolo, Ernesto Damiani	Multimodality in Pervasive Environment.	Semantic Challenges in Sensor Networks	2010	DBLP BibTeX RDF
23	Heiner Stuckenschmidt, Stefano Ceri, Emanuele Della Valle, Frank van Harmelen	Towards Expressive Stream Reasoning.	Semantic Challenges in Sensor Networks	2010	DBLP BibTeX RDF
23	Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu (eds.)	Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008	Beyond the Finite: New Challenges in Verification and Semistructured Data	2008	DBLP BibTeX RDF
23	Sheng-Yuan Yang	Ontological Query Processing and Maintaining Techniques for FAQ Systems.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Template-based Processing, FAQ Systems, Ontology, User Modeling, Interface Agents
23	Eugénia Moreira Bernardino, Anabela Moreira Bernardino, Juan Manuel Sánchez-Pérez, Juan Antonio Gómez Pulido, Miguel A. Vega-Rodríguez	A Genetic Algorithm with Multiple Operators for Solving the Terminal Assignment Problem.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Genetic Algorithm, Evolutionary Algorithms, Terminal Assignment Problem
23	Jerzy Martyna	An Application of LS-SVM Method for Clustering in Wireless Sensor Networks.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Asma Moubaiddin, Nadim Obeid	Dialogue and Argumentation in Multi-agent Diagnosis.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Multi-Agent Systems, Argumentation, Dialogue, Nonmonotonic Reasoning, Intelligent Interfaces, Model-based Diagnosis, Three-Valued Logic
23	Keisuke Negoro, Hiroaki Oiso, Masanori Akiyoshi, Norihisa Komoda	A Classification Method of Users Opinions Using Category-Based Dictionary Generated from Answers in Open-Ended Questionnaire System.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	open-ended questionnaires, category-based dictionary, typical words involvement, words coincidence
23	Reza Tavakkoli-Moghaddam, Vahid Reza Ghezavati, A. Kaboli, Masoud Rabbani	An Efficient Hybrid Method for an Expected Maximal Covering Location Problem.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Maximal covering, Genetic algorithm, Simulation, Location Problem, Uncertainty modeling
23	Satoshi Takahashi, Tokuro Matsuo	An Approach to Efficient Trading Model of Hybrid Traders Based on Volume Discount.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Fumiaki Minami, Mikito Kobayashi, Takayuki Ito 0001	A Proposal on Recommender System Based on Observing Web-Chatting.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Web Chat, Recommender System
23	Ana Carolina Lorena, André Carlos Ponce de Leon Ferreira de Carvalho	Investigation of Strategies for the Generation of Multiclass Support Vector Machines.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	multiclass problems, Support Vector Machines, Hybrid Intelligent Systems
23	Daniel Machado, Miguel Rocha 0001	getALife - An Artificial Life Environment for the Evaluation of Agent-Based Systems and Evolutionary Algorithms for Reinforcement Learning.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Artificial Life simulators, Prey-predator systems, Evolutionary Algorithms for Reinforcement learning
23	Alicja Wieczorkowska, Elzbieta Kolczynska, Zbigniew W. Ras	Training of Classifiers for the Recognition of Musical Instrument Dominating in the Same-Pitch Mix.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Kang-Woo Lee, Jung-Hoon Hwang, Dong-Soo Kwon	A Comparative Study between Human-Human Interaction and Human-Robot Interaction.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	interaction effort, Human-robot interaction, comparative, common ground, state transition, perspective taking
23	Amine Chohra, Kurosh Madani, Dalel Kanzari	Reinforcement Q-Learning and Neural Networks to Acquire Negotiation Behaviors.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Marcin M. Michalski, Tomasz Walkowiak	Multiagent Monitoring System for Complex Network Infrastructure.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Agustina Buccella, Domenico Gendarmi, Filippo Lanubile, Giovanni Semeraro, Alejandra Cechich, Attilio Colagrossi	A Layered Ontology-Based Architecture for Integrating Geographic Information.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	ISO 19100 Standards, Ontology, Geographic Information Systems, Federated Systems
23	Samira Sadaoui, Malek Mouhoub, Xiao Feng Li	An OCL-Based CSP Specification and Solving Tool.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Hafiz Rizwan Iqbal, Mian M. Awais, Shahid Masud, Shafay Shamail	On Vowels Segmentation and Identification Using Formant Transitions in Continuous Recitation of Quranic Arabic.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Tajweed, Formant transition track(s), Zabar, Zair, Pesh, Laam, Meem, Noon, Continuous Arabic speech, Wavelet transforms, Location, Gradient, Trend, Vowels
23	Bernhard Peischl, Naveed Riaz, Franz Wotawa	Advances in Automated Source-Level Debugging of Verilog Designs.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	debugging of hardware designs, multiple testcases, model-based diagnosis, software debugging
23	Costin Badica, Elvira Popescu, Grzegorz Frackowiak, Maria Ganzha, Marcin Paprzycki, Michal Szymczak, Myon-Woong Park	On Human Resource Adaptability in an Agent-Based Virtual Organization.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Hadi Panahi, Masoud Rabbani, Reza Tavakkoli-Moghaddam	A Comparison of Three Meta-heuristics for a Closed-Loop Layout Problem with Unequal-Sized Facilities.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Closed-loop layout problem, unequal-sized facilities, Genetic algorithm, Simulated annealing, Ant colony optimization
23	Yoshihito Saito, Takayuki Fujimoto, Tokuro Matsuo	Multi-sided Matching Lecture Allocation Mechanism.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Javier Andrade Garda, Juan Ares Casal, Rafael García, Santiago Rodríguez Yáñez, María Seoane, Sonia Suárez	A Knowledge-Based System for CMM Evaluation.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Key Process Area, Knowledge-Based System, Audit, Capability Maturity Model, Clips, CommonKADS
23	Fernando José Mateus da Silva, Juan Manuel Sánchez-Pérez, Juan Antonio Gómez Pulido, Miguel A. Vega-Rodríguez	AlineaGA: A Genetic Algorithm for Multiple Sequence Alignment.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	genetic algorithms, bioinformatics, Multiple sequence alignments
23	Niklas Lavesson, Paul Davidsson, Martin Boldt, Andreas Jacobsson	Spyware Prevention by Classifying End User License Agreements.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	EULA spyware classification prevention
23	Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro	Greedy and Exact Algorithms for Invitation Planning in Cancer Screening.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	José Manuel Cadenas, M. Carmen Garrido, Enrique Muñoz Ballester	Impact of Fuzzy Logic in the Cooperation of Metaheuristics.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Data Mining, Meta-heuristic, Fuzzy Rules, Cooperative System
23	Ewa Madalinska-Bugaj, Linh Anh Nguyen	Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Walenty Oniszczuk	An Intelligent Service Strategy in Linked Networks with Blocking and Feedback.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	intelligent service strategy, network performance analysis, feedback and blocking, Markov chain
23	Alfred Krzywicki, Wayne Wobcke	Closed Pattern Mining for the Discovery of User Preferences in a Calendar Assistant.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	calendar assistants, Data mining, Formal Concept Analysis, closed patterns
23	Hiroshi Date, Tokuro Matsuo	Effects of At-Home Nursing Service Scheduling in Multiagent Systems.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Ricardo Soto 0001, Laurent Granvilliers	On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Languages, Constraint Programming, Constraint Satisfaction Problems, Constraint Modeling
23	Mikito Kobayashi, Fumiaki Minami, Takayuki Ito 0001, Satoshi Tojo	An Implementation of Goal-Oriented Fashion Recommendation System.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Concept Dictionary, Goal Oriented Recommendation, Recommender System
23	Petr Kadlec, Bogdan Gabrys	Gating Artificial Neural Network Based Soft Sensor.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine	Shape Analysis via Monotonic Abstraction.	Beyond the Finite: New Challenges in Verification and Semistructured Data	2008	DBLP BibTeX RDF
23	Neil Yorke-Smith (eds.)	Interaction Challenges for Intelligent Assistants, Papers from the 2007 AAAI Spring Symposium, 26-28 March 2007, Stanford University, CA, USA	Interaction Challenges for Intelligent Assistants	2007	DBLP BibTeX RDF
23		Interaction Challenges for Intelligent Assistants, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-04, Stanford, California, USA, March 26-28, 2007	AAAI Spring Symposium: Interaction Challenges for Intelligent Assistants	2007	DBLP BibTeX RDF
23	Vera Kurková	Generalization in Learning from Examples.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF