When Intelligence Is Just a Matter of Copying (English)
- New search for: Correa, W.
- New search for: Prade, H.
- New search for: Richard, G.
- New search for: Correa, W.
- New search for: Prade, H.
- New search for: Richard, G.
- New search for: Raedt, Luc De
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:When Intelligence Is Just a Matter of Copying
-
Contributors:
-
Conference:20th, ECAI 2012: 20th european conference or artificial intelligence 27-31 August 2012, Montpellier, France including prestigious applications of artificial intelligence (PAIS-2012) systems demonstrations track / ; 2012 ; Montpellier, France
-
Published in:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS ; 242 ; 276-281
-
Publisher:
- New search for: Ios Press
-
Place of publication:Amsterdam
-
Publication date:2012-01-01
-
Size:6 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Probabilistic Techniques for Mobile Robot NavigationBurgard, W. et al. | 2012
- 4
-
Generalized Decision Diagrams: The Game Is Not Over Yet!Darwiche, A. et al. | 2012
- 5
-
Never Ending LearningMitchell, T.M. et al. | 2012
- 6
-
Bad Equilibria (and what to Do About Them)Wooldridge, M. et al. | 2012
- 15
-
Executable Logic for Dialogical ArgumentationBlack, E. / Hunter, A. et al. | 2012
- 21
-
Computational Creativity: The Final Frontier?Colton, S. / Wiggins, G.A. et al. | 2012
- 27
-
Recent Advances in Imprecise-Probabilistic Graphical Modelsde Cooman, G. / De Bock, J. / Van Camp, A. et al. | 2012
- 33
-
Lifted Probabilistic InferenceKersting, K. et al. | 2012
- 39
-
Developmental Mechanisms for Autonomous Life-Long Learning in RobotsOudeyer, P.-Y. et al. | 2012
- 40
-
Robot Skill LearningPeters, J. / Mulling, K. / Kober, J. / Nguyen-Tuong, D. / Kromer, O. et al. | 2012
- 49
-
Conservative Social LawsAgotnes, T. / van der Hoek, W. / Wooldridge, M. et al. | 2012
- 55
-
Finding and Proving the Optimum: Cooperative Stochastic and Deterministic SearchAlliot, J.-M. / Durand, N. / Gianazza, D. / Gotteland, J.-B. et al. | 2012
- 61
-
DL-Lite with Attributes and DatatypesArtale, A. / Ryzhikov, V. / Kontchakov, R. et al. | 2012
- 67
-
Towards a Complete Classical Music CompanionArzt, A. / Widmer, G. / Bock, S. / Sonnleitner, R. / Frostel, H. et al. | 2012
- 73
-
LoCo - A Logic for Configuration ProblemsAschinger, M. / Drescher, C. / Vollmer, H. et al. | 2012
- 79
-
Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information RetrievalAzarbonyad, H. / Shakery, A. / Faili, H. et al. | 2012
- 85
-
Macros, Reactive Plans and Compact RepresentationsBackstrom, C. / Jonsson, A. / Jonsson, P. et al. | 2012
- 91
-
From Macro Plans to Automata PlansBackstrom, C. / Jonsson, A. / Jonsson, P. et al. | 2012
- 97
-
Multirelational Consensus Clustering with Nonnegative DecompositionsBadea, L. et al. | 2012
- 103
-
Verification of Description Logic Knowledge and Action BasesHariri, B.B. / Calvanese, D. / De Giacomo, G. / De Masellis, R. / Felli, P. / Montali, M. et al. | 2012
- 109
-
Nested Monte-Carlo Tree Search for Online Planning in Large MDPsBaier, H. / Winands, M.H.M. et al. | 2012
- 115
-
Markov Constraints for Generating Lyrics with StyleBarbieri, G. / Pachet, F. / Roy, P. / Esposti, M.D. et al. | 2012
- 121
-
Trust-Based Solution for Robust Self-Configuration of Distributed Intrusion Detection SystemsBartos, K. / Rehak, M. et al. | 2012
- 127
-
What Does It Take to Enforce an Argument? Minimal Change in Abstract ArgumentationBaumann, R. et al. | 2012
- 133
-
The Possible Winner Problem with Uncertain WeightsBaumeister, D. / Roos, M. / Rothe, J. / Schend, L. / Xia, L. et al. | 2012
- 139
-
Representing Value Functions with Recurrent Binary Decision DiagramsBeck, D. / Lakemeyer, G. et al. | 2012
- 145
-
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its GeneralizationBeldiceanu, N. / Carlsson, M. / Petit, T. / Regin, J.-C. et al. | 2012
- 151
-
Hybrid Possibilistic Conditioning for Revision Under Weighted InputsBenferhat, S. / da Costa Pereira, C. / Tettamanzi, A.G.B. et al. | 2012
- 157
-
Three-Valued Possibilistic NetworksBenferhat, S. / Tabia, K. et al. | 2012
- 163
-
Implementing and Evaluating Provers for First-Order Modal LogicsBenzmuller, C. / Otten, J. / Raths, T. et al. | 2012
- 169
-
Heuristically Accelerated Reinforcement Learning: Theoretical and Experimental ResultsBianchi, R.A.C. / Ribeiro, C.H.C. / Costa, A.H.R. et al. | 2012
- 175
-
Learning Rules of Simplified Boardgames by ObservingBjornsson, Y. et al. | 2012
- 181
-
A Reinforcement-Learning Algorithm for Sampling Design in Markov Random FieldsBonneau, M. / Peyrard, N. / Sabbadin, R. et al. | 2012
- 187
-
A Protocol Based on a Game-Theoretic Dilemma to Prevent Malicious Coalitions in Reputation SystemsBonnet, G. et al. | 2012
- 193
-
Iterative Algorithm for Solving Two-Player Zero-Sum Extensive-Form Games with Imperfect InformationBosansky, B. / Kiekintveld, C. / Lisy, V. / Pechoucek, M. et al. | 2012
- 199
-
Interval Temporal Logics over Finite Linear Orders: The Complete PictureBresolin, D. / Monica, D.D. / Montanari, A. / Sala, P. / Sciavicco, G. et al. | 2012
- 205
-
Natural Language Arguments: A Combined ApproachCabrio, E. / Villata, S. et al. | 2012
- 211
-
Preference Extraction from Negotiation DialoguesCadilhac, A. / Asher, N. / Benamara, F. / Popescu, V. / Seck, M. et al. | 2012
- 217
-
Planning as Quantified Boolean FormulaCashmore, M. / Fox, M. / Giunchiglia, E. et al. | 2012
- 223
-
Speeding Up 2-Way Number PartitioningCerquides, J. / Meseguer, P. et al. | 2012
- 228
-
An Efficient and Adaptive Approach to Negotiation in Complex EnvironmentsChen, S. / Weiss, G. et al. | 2012
- 234
-
Combining DRA and CYC into a Network Friendly CalculusChipofya, M. et al. | 2012
- 240
-
On Exploiting Structures of Classical Planning Problems: Generalizing EntanglementsChrpa, L. / McCluskey, T.L. et al. | 2012
- 246
-
Ideal Point Guided Iterative DeepeningCoego, J. / Mandow, L. / de la Cruz, J.L.P. et al. | 2012
- 252
-
Opportunistic Branched Plans to Maximise Utility in the Presence of Resource UncertaintyColes, A. et al. | 2012
- 258
-
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a SequenceCoquery, E. / Jabbour, S. / Sais, L. / Salhi, Y. et al. | 2012
- 264
-
Compression-Based AODE ClassifiersCorani, G. / Antonucci, A. / De Rosa, R. et al. | 2012
- 270
-
Bounded Single-Peaked Width and Proportional RepresentationCornaz, D. / Galand, L. / Spanjaard, O. et al. | 2012
- 276
-
When Intelligence Is Just a Matter of CopyingCorrea, W. / Prade, H. / Richard, G. et al. | 2012
- 282
-
Context-Aware Access Control for RDF Graph StoresCostabello, L. / Villata, S. / Gandon, F. et al. | 2012
- 288
-
Decision-Making with Sugeno Integrals: DMU vs. MCDMCouceiro, M. / Dubois, D. / Prade, H. / Waldhauser, T. et al. | 2012
- 294
-
An Analysis of Chaining in Multi-Label ClassificationDembczynski, K. / Waegeman, W. / Hullermeier, E. et al. | 2012
- 300
-
A Study of Local Minimum Avoidance Heuristics for SATDuong, T.-T. / Pham, D.N. / Sattar, A. et al. | 2012
- 306
-
Symbolic A^* Search with Pattern Databases and the Merge-and-Shrink AbstractionEdelkamp, S. / Kissmann, P. / Torralba, A. et al. | 2012
- 312
-
Preferring Properly: Increasing Coverage While Maintaining Quality in Anytime Temporal PlanningEyerich, P. et al. | 2012
- 318
-
Weighted Manipulation for Four-Candidate Llull Is EasyFaliszewski, P. / Hemaspaandra, E. / Schnoor, H. et al. | 2012
- 324
-
Agent Strategies for ABA-Based Information-Seeking and Inquiry DialoguesFan, X. / Toni, F. et al. | 2012
- 330
-
Guiding User Choice During Discussion by Silence, Examples and JustificationsFenster, M. / Zuckerman, I. / Kraus, S. et al. | 2012
- 336
-
Combining Bootstrapping and Feature Selection for Improving a Distributional ThesaurusFerret, O. et al. | 2012
- 342
-
Argumentation-Based Reinforcement Learning for RoboCup Soccer KeepawayGao, Y. / Toni, F. / Craven, R. et al. | 2012
- 348
-
Case-Based Planning for Problems with Real-Valued Fluents: Kernel Functions for Effective Plan RetrievalGerevini, A.E. / Saetti, A. / Serina, I. et al. | 2012
- 354
-
A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output RegressionGonen, M. et al. | 2012
- 360
-
Approximate Tradeoffs on MatroidsGourves, L. / Monnot, J. / Tlilane, L. et al. | 2012
- 366
-
Process Discovery via Precedence ConstraintsGreco, G. / Guzzo, A. / Pontieri, L. et al. | 2012
- 372
-
Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the BoundaryGreco, G. / Malizia, E. / Scarcello, F. / Palopoli, L. et al. | 2012
- 378
-
Partial Cooperation in Multi-Agent Local SearchGrubshtein, A. / Zivan, R. / Meisels, A. et al. | 2012
- 384
-
Towards Generalizing the Success of Monte-Carlo Tree Search Beyond the Game of GoGusmao, A. / Raiko, T. et al. | 2012
- 390
-
Complexity of Branching Temporal Description LogicsGutierrez-Basulto, V. / Jung, J.C. / Lutz, C. et al. | 2012
- 396
-
Online Voter Control in Sequential ElectionsHemaspaandra, E. / Hemaspaandra, L.A. / Rothe, J. et al. | 2012
- 402
-
Planning with Semantic Attachments: An Object-Oriented ViewHertle, A. / Dornhege, C. / Keller, T. / Nebel, B. et al. | 2012
- 408
-
Comparator Selection for RPC with Many LabelsHiard, S. / Geurts, P. / Wehenkel, L. et al. | 2012
- 414
-
An Anytime Algorithm for Finding the epsilon -Core in Nontransferable Utility Coalitional GamesHines, G. / Rahwan, T. / Jennings, N.R. et al. | 2012
- 420
-
Spectrum Enhanced Dynamic Slicing for Better Fault LocalizationHofer, B. / Wotawa, F. et al. | 2012
- 426
-
SAT vs. Search for Qualitative Temporal ReasoningHuang, J. et al. | 2012
- 432
-
Symmetries in Itemset MiningJabbour, S. / Sais, L. / Salhi, Y. / Tabia, K. et al. | 2012
- 438
-
Concepts, Agents, and Coalitions in Alternating TimeJamroga, W. et al. | 2012
- 444
-
Large-Scale Interactive Ontology Matching: Algorithms and ImplementationJimenez-Ruiz, E. / Grau, B.C. / Zhou, Y. / Horrocks, I. et al. | 2012
- 450
-
Characterization of Positive and Negative Information in Comparative Preference RepresentationKaci, S. et al. | 2012
- 456
-
A Ranking Semantics for First-Order ConditionalsKern-Isberner, G. / Thimm, M. et al. | 2012
- 462
-
A New Approach to the Snake-In-The-Box ProblemKinny, D. et al. | 2012
- 468
-
Delegating Decisions in Strategic SettingsKraus, S. / Wooldridge, M. et al. | 2012
- 474
-
Reconciling OWL and Non-Monotonic Rules for the Semantic WebKnorr, M. / Hitzler, P. / Maier, F. et al. | 2012
- 480
-
Hybrid Regression-Classification Models for Algorithm SelectionKotthoff, L. et al. | 2012
- 486
-
Justifying Dominating Options when Preferential Information Is IncompleteLabreuche, C. / Maudet, N. / Ouerdane, W. et al. | 2012
- 492
-
Fixed-Parameter Algorithms for Closed World ReasoningLackner, M. / Pfandler, A. et al. | 2012
- 498
-
Efficient Reasoning in Multiagent Epistemic LogicsLakemeyer, G. / Lesperance, Y. et al. | 2012
- 504
-
Knowledge-Based Programs as Plans - The Complexity of Plan VerificationLang, J. / Zanuttini, B. et al. | 2012
- 510
-
A Path-Optimal GAC Algorithm for Table ConstraintsLecoutre, C. / Likitvivatanavong, C. / Yap, R.H.C. et al. | 2012
- 516
-
Updating Inconsistent Description Logic Knowledge BasesLenzerini, M. / Savo, D.F. et al. | 2012
- 522
-
Almost-Truthful Mechanisms for Fair Social Choice FunctionsLesca, J. / Perny, P. et al. | 2012
- 528
-
Choosing Combinatorial Social Choice by Heuristic SearchLi, M. / Vo, Q.B. et al. | 2012
- 534
-
Creating Features from a Learned Grammar in a Simulated StudentLi, N. / Schreiber, A. / Cohen, W.W. / Koedinger, K.R. et al. | 2012
- 540
-
Width and Serialization of Classical Planning ProblemsLipovetzky, N. / Geffner, H. et al. | 2012
- 546
-
Game-Theoretic Approach to Adversarial Plan RecognitionLisy, V. / Pibil, R. / Stiborek, J. / Bosansky, B. / Pechoucek, M. et al. | 2012
- 552
-
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint SatisfactionLiu, W. / Li, S. et al. | 2012
- 558
-
Inconsistency Handling in Datalog+/- OntologiesLukasiewicz, T. / Martinez, M.V. / Simari, G.I. et al. | 2012
- 564
-
Fair Division of Indivisible Goods Under RiskLumet, C. / Bouveret, S. / Lemaitre, M. et al. | 2012
- 570
-
Improving Local Search for Random 3-SAT Using Quantitative Configuration CheckingLuo, C. / Su, K. / Cai, S. et al. | 2012
- 576
-
Efficient Norm Emergence Through Experiential Dynamic PunishmentMahmoud, S. / Griffiths, N. / Keppens, J. / Luck, M. et al. | 2012
- 582
-
On Computing Correct Processes and Repairs Using Partial Behavioral ModelsMayer, W. / Friedrich, G. / Stumptner, M. et al. | 2012
- 588
-
Routing for Continuous Monitoring by Multiple Micro UAVs in Disaster ScenariosMersheeva, V. / Friedrich, G. et al. | 2012
- 594
-
Diagnosing Delays in Multi-Agent Plans ExecutionMicalizio, R. / Torta, G. et al. | 2012
- 600
-
Improving Video Activity Recognition Using Object Recognition and Text MiningMotwani, T.S. / Mooney, R.J. et al. | 2012
- 606
-
Exploiting Expert Knowledge in Factored POMDPsMuller, F. / Spath, C. / Geier, T. / Biundo, S. et al. | 2012
- 612
-
Combining Voting Rules TogetherNarodytska, N. / Walsh, T. / Xia, L. et al. | 2012
- 618
-
ExpExpExplosion: Uniform Interpolation in General EL TerminologiesNikitina, N. / Rudolph, S. et al. | 2012
- 624
-
Tunneling and Decomposition-Based State Reduction for Optimal PlanningNissim, R. / Apsel, U. / Brafman, R. et al. | 2012
- 630
-
Extending Set-Based Dualization: Application to Pattern MiningNourine, L. / Petit, J.-M. et al. | 2012
- 636
-
Nearness Rules and Scaled ProximityOzcep, O.L. / Grutter, R. / Moller, R. et al. | 2012
- 642
-
Discovering Cross-Language Links in Wikipedia Through Semantic RelatednessPenta, A. / Quercini, G. / Reynaud, C. / Shadbolt, N. et al. | 2012
- 648
-
Optimizations for the Boolean Approach to Computing Minimal Hitting SetsPill, I. / Quaritsch, T. et al. | 2012
- 654
-
Hierarchical and Overlapping Co-Clustering of mRNA:miRNA InteractionsPio, G. / Ceci, M. / Loglisci, C. / D Elia, D. / Malerba, D. et al. | 2012
- 660
-
A Robust Approach to Addressing Human Adversaries in Security GamesPita, J. / John, R. / Maheswaran, R. / Tambe, M. / Kraus, S. et al. | 2012
- 666
-
Solving Raven's IQ-Tests: An AI and Cognitive Modeling ApproachRagni, M. / Neubert, S. et al. | 2012
- 672
-
Best Reply Dynamics for Scoring RulesReyhani, R. / Wilson, M.C. et al. | 2012
- 678
-
Complexity of Conditional Planning under Partial Observability and Infinite ExecutionsRintanen, J. et al. | 2012
- 684
-
Engineering Efficient Planners with SATRintanen, J. et al. | 2012
- 690
-
Coordinated Exploration with a Shared Goal in Costly EnvironmentsRochlin, I. / Sarne, D. / Laifenfeld, M. et al. | 2012
- 696
-
Strategic and Epistemic Reasoning for the Game Description Language GDL-IIRuan, J. / Thielscher, M. et al. | 2012
- 702
-
Deciding Membership in a Class of PolyhedraRuggieri, S. et al. | 2012
- 708
-
Multiple-Outcome Proof Number SearchSaffidine, A. / Cazenave, T. et al. | 2012
- 714
-
Institutionalised Paxos ConsensusSanderson, D. / Pitt, J. et al. | 2012
- 720
-
Introducing Datatypes in DL-LiteSavkovic, O. / Calvanese, D. et al. | 2012
- 726
-
Convex Solutions of RCC8 NetworksSchockaert, S. / Li, S. et al. | 2012
- 732
-
Propositional Planning as OptimizationSideris, A. / Dimopoulos, Y. et al. | 2012
- 738
-
Large-Scale Parallel Stratified Defeasible ReasoningTachmazidis, I. / Antoniou, G. / Flouris, G. / Kotoulas, S. / McCluskey, L. et al. | 2012
- 744
-
Path-Constrained Markov Decision Processes: Bridging the Gap Between Probabilistic Model-Checking and Decision-Theoretic PlanningTeichteil-Konigsbuch, F. et al. | 2012
- 750
-
A Probabilistic Semantics for Abstract ArgumentationThimm, M. et al. | 2012
- 756
-
An Empirical Study of Argumentation Schemes for Deliberative DialogueToniolo, A. / Norman, T.J. / Sycara, K. et al. | 2012
- 762
-
An Approach to Multi-Agent Planning with Incomplete InformationTorreno, A. / Onaindia, E. / Sapena, O. et al. | 2012
- 768
-
Efficient Crowdsourcing of Unknown Experts Using Multi-Armed BanditsTran-Thanh, L. / Stein, S. / Rogers, A. / Jennings, N.R. et al. | 2012
- 774
-
Logic-Based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent SetupsTran, T.T. / Beck, J.C. et al. | 2012
- 780
-
Relation Mining in the Biomedical Domain Using Entity-Level SemanticsTymoshenko, K. / Somasundaran, S. / Prabhakaran, V. / Shet, V. et al. | 2012
- 786
-
ArvandHerd: Parallel Planning with a PortfolioValenzano, R. / Nakhost, H. / Muller, M. / Schaeffer, J. / Sturtevant, N. et al. | 2012
- 792
-
Joint Assessment and Restoration of Power SystemsVan Hentenryck, P. / Gillani, N. / Coffrin, C. et al. | 2012
- 798
-
Self-Assessing Agents for Explaining Language Change: A Case Study in Germanvan Trijp, R. et al. | 2012
- 804
-
Detecting Human Patterns in Laser Range DataVarvadoukas, T. / Giotis, I. / Konstantopoulos, S. et al. | 2012
- 810
-
Maxi-Consistent Operators in ArgumentationVesic, S. et al. | 2012
- 816
-
Multi-Unit Auctions with a Stochastic Number of Asymmetric BiddersVetsikas, I.A. / Stein, S. / Jennings, N.R. et al. | 2012
- 822
-
Synonymy Extraction from Semantic Networks Using String and Graph Kernel MethodsBruck, T.v.d. / Wang, Y.-F.H. et al. | 2012
- 828
-
Ordinal Decision Models for Markov Decision ProcessesWeng, P. et al. | 2012
- 834
-
Negotiating Concurrently with Unknown Opponents in Complex, Real-Time DomainsWilliams, C.R. / Robu, V. / Gerding, E.H. / Jennings, N.R. et al. | 2012
- 840
-
Improving Local Decisions in Adversarial SearchWilson, B. / Zuckerman, I. / Parker, A. / Nau, D.S. et al. | 2012
- 846
-
Enhancing Predictability of Schedules by Task GroupingWilson, M. / Witteveen, C. / Huisman, B. et al. | 2012
- 852
-
Importance-Based Semantics of Polynomial Comparative Preference InferenceWilson, N. et al. | 2012
- 858
-
Sample-Based Policy Iteration for Constrained DEC-POMDPsWu, F. / Jennings, N.R. / Chen, X. et al. | 2012
- 864
-
Inconsistency Measurement Based on Variables in Minimal Unsatisfiable SubsetsXiao, G. / Ma, Y. et al. | 2012
- 870
-
Adversarial Label Flips Attack on Support Vector MachinesXiao, H. / Eckert, C. et al. | 2012
- 876
-
Disambiguating Road Names in Text Route Descriptions Using Exact-All-Hop Shortest Path AlgorithmZhang, X. / Qiu, B. / Mitra, P. / Xu, S. / Klippel, A. / MacEachren, A.M. et al. | 2012
- 882
-
Multi-Unit Double Auction Under Group BuyingZhao, D. / Zhang, D. / Perrussel, L. et al. | 2012
- 891
-
A Stubborn Set Algorithm for Optimal PlanningAlkhazraji, Y. / Wehrle, M. / Mattmuller, R. / Helmert, M. et al. | 2012
- 893
-
Preemption OperatorsBesnard, P. / Gregoire, E. / Ramon, S. et al. | 2012
- 895
-
Reasoning for Agreement TechnologiesBoella, G. / van der Torre, L. et al. | 2012
- 897
-
An Adaptive Clustering Model that Integrates Expert Rules and N-Gram Statistics for Conference ResolutionBunescu, R. et al. | 2012
- 899
-
Mining Extremes: Severe Rainfall and Climate ChangeDas, D. / Kodra, E. / Obradovic, Z. / Ganguly, A.R. et al. | 2012
- 901
-
CAKES: Cross-Lingual Wikipedia Knowledge Enrichment and SummarizationFionda, V. / Pirro, G. et al. | 2012
- 903
-
A Novel Way to Connect BnB-ADOPT^+ with Soft ACGutierrez, P. / Meseguer, P. et al. | 2012
- 905
-
Controlling Candidate-Sequential ElectionsHemaspaandra, E. / Hemaspaandra, L.A. / Rothe, J. et al. | 2012
- 907
-
Implementation of Critical Path Heuristics for SATHuang, J. et al. | 2012
- 909
-
Evolutionary Clustering on CUDAKromer, P. / Platos, J. / Snasel, V. et al. | 2012
- 911
-
Practical Reformulations with Table ConstraintsLhomme, O. et al. | 2012
- 913
-
On Partitioning for Maximum SatisfiabilityMartins, R. / Manquinho, V. / Lynce, I. et al. | 2012
- 915
-
Ontologising Semantic Relations into a Relationless ThesaurusOliveira, H.G. / Gomes, P. et al. | 2012
- 917
-
Advances in Distributed Branch and BoundOtten, L. / Dechter, R. et al. | 2012
- 919
-
Intermediary Local ConsistenciesPetit, T. et al. | 2012
- 921
-
The Consistency of Majority RulePorello, D. et al. | 2012
- 923
-
Probabilistic Path-Disruption GamesRey, A. / Rothe, J. et al. | 2012
- 925
-
Towards a Declarative Spatial Reasoning SystemSchultz, C. / Bhatt, M. et al. | 2012
- 927
-
An Alternative Eager Encoding of the All-Different Constraint over Bit-VectorsSurynek, P. et al. | 2012
- 929
-
VOI-Aware MCTSTolpin, D. / Shimony, S.E. et al. | 2012
- 931
-
Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum TreesZenker, B. et al. | 2012
- 933
-
Reasoning with Fuzzy-EL^+ Ontologies Using MapReduceZhou, Z. / Qi, G. / Liu, C. / Hitzler, P. / Mutharaju, R. et al. | 2012
- 937
-
Context-Based Search in Software DevelopmentAntunes, B. / Cordeiro, J. / Gomes, P. et al. | 2012
- 943
-
Event Processing for Intelligent Resource ManagementArtikis, A. / Marterer, R. / Pottebaum, J. / Paliouras, G. et al. | 2012
- 949
-
Partially Observable Markov Decision Process for Closed-Loop Anesthesia ControlBorera, E.C. / Moore, B.L. / Pyeatt, L.D. et al. | 2012
- 955
-
POMDP-Based Online Target Detection and Recognition for Autonomous UAVsChanel, C.P.C. / Teichteil-Konigsbuch, F. / Lesire, C. et al. | 2012
- 961
-
A Multi-Objective Approach to Balance Buildings Construction Cost and Energy EfficiencyFialho, A. / Hamadi, Y. / Schoenauer, M. et al. | 2012
- 967
-
LSA for Mining Hidden Information in Action Game SemanticsKermanidis, K.L. / Pandis, P. / Boletsis, C. / Chasanidou, D. et al. | 2012
- 969
-
Cooperatives for Demand Side ManagementKota, R. / Chalkiadakis, G. / Robu, V. / Rogers, A. / Jennings, N.R. et al. | 2012
- 975
-
Wind Speed Forecasting Using Spatio-Temporal IndicatorsOhashi, O. / Torgo, L. et al. | 2012
- 981
-
Predicting the Power Output of Distributed Renewable Energy Resources Within a Broad Geographical RegionPanagopoulos, A.A. / Chalkiadakis, G. / Koutroulis, E. et al. | 2012
- 987
-
A Reinforcement Learning Approach to Optimize the Longitudinal Behavior of a Partial Autonomous Driving Assistance SystemPietquin, O. / Tango, F. et al. | 2012
- 993
-
WeMiT: Web-Mining for TranslationRoche, M. / Garbasevschi, O.M. et al. | 2012
- 995
-
Master Orientation ToolSurpatean, A. / Smirnov, E. / Manie, N. et al. | 2012
- 999
-
An Infrastructure for Human Inclusion in MASAlmajano, P. / Trescak, T. / Rodriguez, I. / Lopez-Sanchez, M. et al. | 2012
- 1001
-
Training Crisis Managers with PANDORABacon, L. / Cesta, A. / Coraci, L. / Cortellessa, G. / De Benedictis, R. / Grilli, S. / Polutnik, J. / Strickland, K. et al. | 2012
- 1003
-
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing PlannersBartak, R. / Jaska, M. / Novak, L. / Rovensky, V. / Skalicky, T. / Cully, M. / Sheahan, C. / Thanh-Tung, D. et al. | 2012
- 1005
-
WantEat: Interacting with Social Networks of Smart Objects for Sharing Cultural Heritage and Supporting SustainabilityConsole, L. / Biamino, G. / Carmagnola, F. / Cena, F. / Chiabrando, E. / Furnari, R. / Gena, C. / Grillo, P. / Likavec, S. / Lombardi, I. et al. | 2012
- 1007
-
Mo.Di.Bot - Mobile Diagnostic RobotCristalli, C. / Angione, G. / Lattanzi, L. / Graf, B. / Weisshardt, F. / Arbeiter, G. et al. | 2012
- 1009
-
Metaheuristic Aided Software Features Assemblydel Sagrado, J. / del Aguila, I.M. / Orellana, F.J. et al. | 2012
- 1011
-
Designing KDD-Workflows via HTN-PlanningKietz, J.-U. / Serban, F. / Bernstein, A. / Fischer, S. et al. | 2012
- 1013
-
Confidence: Ubiquitous Care System to Support Independent LivingLustrek, M. / Kaluza, B. / Cvetkovic, B. / Dovgan, E. / Gjoreski, H. / Mirchevska, V. / Gams, M. et al. | 2012
- 1015
-
Autonomous Construction with a Mobile Robot in a Resource-Limited Environment: A Demonstration of the Integration of Perception, Planning and ActionMagnenat, S. / Gribovskiy, A. / Mondada, F. et al. | 2012
- 1017
-
WissKI: A Virtual Research Environment for Cultural HeritageScholz, M. / Goerz, G. et al. | 2012
- 1019
-
AGENTFLY: Multi-Agent Simulation of Air-Traffic ManagementSislak, D. / Volf, P. / Pavlicek, D. / Pechoucek, M. et al. | 2012