Generating Hard SAT/CSP Instances Using Expander Graphs (English)
- New search for: Ansotegui, C.
- New search for: Bejar, R.
- New search for: Fernandez, C.
- New search for: Mateu, C.
- New search for: Ansotegui, C.
- New search for: Bejar, R.
- New search for: Fernandez, C.
- New search for: Mateu, C.
In:
AAAI conference on artificial intelligence
23
;
1442-1443
;
2008
-
ISBN:
- Conference paper / Print
-
Title:Generating Hard SAT/CSP Instances Using Expander Graphs
-
Contributors:
-
Conference:23rd, AAAI conference on artificial intelligence ; 2008 ; Chicago, IL
-
Published in:AAAI conference on artificial intelligence , 23 ; 1442-1443PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE , 23 ; 1442-1443
-
Publisher:
- New search for: AAAI Press
-
Place of publication:Menlo Park
-
Publication date:2008-01-01
-
Size:2 pages
-
Remarks:Includes bibliographic references and index. AAAI-08 - IAAI-08 proceedings.
-
ISBN:
-
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
-
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent PerformanceAraujo, R.M. / Lamb, L.C. et al. | 2008
- 9
-
Physical Search Problems Applying Economic Search ModelsAumann, Y. / Hazon, N. / Kraus, S. / Sarne, D. et al. | 2008
- 17
-
A Theory of Expressiveness in MechanismsBenisch, M. / Sadeh, N. / Sandholm, T. et al. | 2008
- 24
-
Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual RationalityBlum, Y. / Rosenschein, J.S. et al. | 2008
- 30
-
Expressive Banner Ad Auctions and Model-Based Online Optimization for ClearingBoutilier, C. / Parkes, D.C. / Sandholm, T. / Walsh, W.E. et al. | 2008
- 38
-
A Computational Analysis of the Tournament Equilibrium SetBrandt, F. / Fischer, F. / Harrenstein, P. / Mair, M. et al. | 2008
- 44
-
Approximability of Manipulating ElectionsBrelsford, E. / Faliszewski, P. / Hemaspaandra, E. / Schnoor, H. / Schnoor, I. et al. | 2008
- 50
-
Efficient Metadeliberation AuctionsCavallo, R. / Parkes, D.C. et al. | 2008
- 57
-
Achieving Cooperation in a Minimally Constrained EnvironmentDamer, S. / Gini, M. et al. | 2008
- 63
-
Generalized Point Based Value Iteration for Interactive POMDPsDoshi, P. / Perez, D. et al. | 2008
- 69
-
On the Dimensionality of Voting GamesElkind, E. / Goldberg, L.A. / Goldberg, P. / Wooldridge, M. et al. | 2008
- 75
-
First-Order Algorithm with O(ln(1/ epsilon )) Convergence for epsilon -Equilibrium in Two-Person Zero-Sum GamesGilpin, A. / Pena, J. / Sandholm, T. et al. | 2008
- 83
-
Agent Organized Networks ReduxGlinton, R. / Sycara, K. / Scerri, P. et al. | 2008
- 89
-
Reasoning about the Appropriateness of Proponents for ArgumentsHunter, A. et al. | 2008
- 95
-
Bayesian Coalitional GamesIeong, S. / Shoham, Y. et al. | 2008
- 101
-
Agent Coordination with Regret ClearingKoenig, S. / Zheng, X. / Tovey, C. / Borie, R. / Kilby, P. / Markakis, V. / Keskinocak, P. et al. | 2008
- 108
-
An Expressive Auction Design for Online Display AdvertisingLahaie, S. / Parkes, D.C. / Pennock, D.M. et al. | 2008
- 114
-
Computer-Aided Proofs of Arrow's and Other Impossibility TheoremsLin, F. / Tang, P. et al. | 2008
- 120
-
Resource Constrained Distributed Constraint Optimization with Virtual VariablesMatsui, T. / Matsuo, H. / Silaghi, M. / Hirayama, K. / Yokoo, M. et al. | 2008
- 126
-
Strategyproof Classification under Constant Hypotheses: A Tale of Two FunctionsMeir, R. / Procaccia, A.D. / Rosenschein, J.S. et al. | 2008
- 132
-
Argument Theory Change Applied to Defeasible Logic ProgrammingMoguillansky, M.O. / Rotstein, N.D. / Falappa, M.A. / Garcia, A.J. / Simari, G.R. et al. | 2008
- 138
-
The Impact of Vertical Specialization on Hierarchical Multi-Agent SystemsOkamoto, S. / Scerri, P. / Sycara, K. et al. | 2008
- 144
-
Coordination and Multi-Tasking Using EMTRabinovich, Z. / Pochter, N. / Rosenschein, J.S. et al. | 2008
- 150
-
Pareto Optimality in Abstract ArgumentationRahwan, I. / Larson, K. et al. | 2008
- 156
-
Coalition Structure Generation: Dynamic Programming Meets Anytime OptimizationRahwan, T. / Jennings, N.R. et al. | 2008
- 162
-
Partially Synchronized DEC-MDPs in Dynamic Mechanism DesignSeuken, S. / Cavallo, R. / Parkes, D.C. et al. | 2008
- 170
-
Mathematical Modeling and Convergence Analysis of Trail FormationShah, S. / Kothari, R. / Jayadeva / Chandra, S. et al. | 2008
- 176
-
Semantical Considerations on Dialectical and Practical CommitmentsSingh, M.P. et al. | 2008
- 182
-
Bidding Strategies for Realistic Multi-Unit Sealed-Bid AuctionsVetsikas, I.A. / Jennings, N.R. et al. | 2008
- 190
-
Optimal False-Name-Proof Voting Rules with Costly VotingWagman, L. / Conitzer, V. et al. | 2008
- 196
-
Determining Possible and Necessary Winners under Common Voting Rules Given Partial OrdersXia, L. / Conitzer, V. et al. | 2008
- 202
-
Voting on Multiattribute Domains with Cyclic Preferential DependenciesXia, L. / Conitzer, V. / Lang, J. et al. | 2008
- 208
-
Value-Based Policy Teaching with Active Indirect ElicitationZhang, H. / Parkes, D. et al. | 2008
- 215
-
Manipulating the Quota in Weighted Voting GamesZuckerman, M. / Faliszewski, P. / Bachrach, Y. / Elkind, E. et al. | 2008
- 222
-
Measuring the Hardness of SAT InstancesAnsotegui, C. / Bonet, M.L. / Levy, J. / Manya, F. et al. | 2008
- 229
-
A New Incomplete Method for CSP Inconsistency CheckingBenhamou, B. / Saidi, M.R. et al. | 2008
- 235
-
The Parameterized Complexity of Global ConstraintsBessiere, C. / Hebrard, E. / Hnich, B. / Kiziltan, Z. / Quimper, C.-G. / Walsh, T. et al. | 2008
- 241
-
Protein Structure Prediction on the Face Centered Cubic Lattice by Local SearchCebrian, M. / Dotu, I. / Van Hentenryck, P. / Clote, P. et al. | 2008
- 247
-
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SATChieu, H.L. / Lee, W.S. et al. | 2008
- 253
-
Virtual Arc Consistency for Weighted CSPCooper, M. / de Givry, S. / Sanchez, M. / Schiex, T. / Zytnicki, M. et al. | 2008
- 259
-
Simulation-Based Approach to General Game PlayingFinnsson, H. / Bjornsson, Y. et al. | 2008
- 265
-
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized ProblemsGao, Y. et al. | 2008
- 271
-
Studies in Solution SamplingGogate, V. / Dechter, R. et al. | 2008
- 277
-
On Range of SkillHansen, T.D. / Miltersen, P.B. / Sorensen, T.B. et al. | 2008
- 283
-
Clause Learning Can Effectively P-Simulate General Propositional ResolutionHertel, P. / Bacchus, F. / Pitassi, T. / Van Gelder, A. et al. | 2008
- 291
-
Piecewise Linear Dynamic Programming for Constrained POMDPsIsom, J.D. / Meyn, S.P. / Braatz, R.D. et al. | 2008
- 297
-
Efficient Memoization for Dynamic Programming with Ad-Hoc ConstraintsJaffar, J. / Santosa, A.E. / Voicu, R. et al. | 2008
- 304
-
On the Power of Top-Down Branching HeuristicsJarvisalo, M. / Junttila, T. et al. | 2008
- 310
-
Efficient Context-Free Grammar ConstraintsKadioglu, S. / Sellmann, M. et al. | 2008
- 317
-
Minimizing Disk I/O in Two-Bit Breadth-First SearchKorf, R.E. et al. | 2008
- 325
-
H-DPOP: Using Hard Constraints for Search Space Pruning in DCOPKumar, A. / Petcu, A. / Faltings, B. et al. | 2008
- 331
-
Online Learning with Expert Advice and Finite-Horizon ConstraintsKveton, B. / Yu, J.Y. / Theocharous, G. / Mannor, S. et al. | 2008
- 337
-
Exploiting Causal Independence Using Weighted Model CountingLi, W. / Poupart, P. / van Beek, P. et al. | 2008
- 344
-
R^* SearchLikhachev, M. / Stentz, A. et al. | 2008
- 351
-
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT SolvingLin, H. / Su, K. / Li, C.-M. et al. | 2008
- 357
-
Learning from Multiple HeuristicsSamadi, M. / Felner, A. / Schaeffer, J. et al. | 2008
- 363
-
Backdoor TreesSamer, M. / Szeider, S. et al. | 2008
- 369
-
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing ProblemSchaus, P. / Deville, Y. et al. | 2008
- 375
-
Bound Consistency for Binary Length-Lex Set ConstraintsVan Hentenryck, P. / Yip, J. / Gervet, C. / Dooms, G. et al. | 2008
- 381
-
Predicting the Performance of IDA^* with Conditional DistributionsZahavi, U. / Felner, A. / Burch, N. / Holte, R.C. et al. | 2008
- 387
-
Reasoning with Cardinal Directions: An Efficient AlgorithmZhang, X. / Liu, W. / Li, S. / Ying, M. et al. | 2008
- 393
-
Anytime Local Search for Distributed Constraint OptimizationZivan, R. et al. | 2008
- 400
-
On the Decidability of Role Mappings between Modular OntologiesBao, J. / Voutsadakis, G. / Slutzki, G. / Honavar, V. et al. | 2008
- 406
-
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of GoalsBaral, C. / Zhao, J. et al. | 2008
- 412
-
Prime Implicate Normal Form for ALC ConceptsBienvenu, M. et al. | 2008
- 418
-
Credulous Resolution for Answer Set ProgrammingBonatti, P.A. / Pontelli, E. / Son, T.C. et al. | 2008
- 424
-
Manifold Integration with Markov Random WalksChoi, H. / Choi, S. / Choe, Y. et al. | 2008
- 430
-
Parallel Belief RevisionDelgrande, J. / Jin, Y. et al. | 2008
- 436
-
Efficient Haplotype Inference with Answer Set ProgrammingErdem, E. / Ture, F. et al. | 2008
- 442
-
Extending the Knowledge Compilation Map: Krom, Horn, Affine and BeyondFargier, H. / Marquis, P. et al. | 2008
- 448
-
A Meta-Programming Technique for Debugging Answer-Set ProgramsGebser, M. / Puhrer, J. / Schaub, T. / Tompits, H. et al. | 2008
- 454
-
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional LogicHalpern, J.Y. et al. | 2008
- 460
-
Nonmonotonic Modes of InferenceJauregui, V. et al. | 2008
- 466
-
Horn Complements: Towards Horn-to-Horn Belief RevisionLanglois, M. / Sloan, R.H. / Szorenyi, B. / Turan, G. et al. | 2008
- 472
-
A Reductive Semantics for Counting and Choice in Answer Set ProgrammingLee, J. / Lifschitz, V. / Palla, R. et al. | 2008
- 480
-
Abductive Logic Programming by Nonground Rewrite SystemsLin, F. / You, J.-H. et al. | 2008
- 486
-
A Formalization of Program Debugging in the Situation CalculusLiu, Y. et al. | 2008
- 492
-
Minimal Contraction of Preference RelationsMindolin, D. / Chomicki, J. et al. | 2008
- 498
-
A First-Order Theory of Stanislavskian Scene AnalysisMorgenstern, L. et al. | 2008
- 504
-
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without InversesOrtiz, M. / Simkus, M. / Eiter, T. et al. | 2008
- 511
-
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal LogicsParker, A. / Infantes, G. / Subrahmanian, V.S. / Grant, J. et al. | 2008
- 517
-
New Compilation Languages Based on Structured DecomposabilityPipatsrisawat, K. / Darwiche, A. et al. | 2008
- 523
-
A Semantic Approach for Iterated Revision in Possibilistic LogicQi, G. et al. | 2008
- 529
-
Terminological Reasoning in SHIQ with Ordered Binary Decision DiagramsRudolph, S. / Krotzsch, M. / Hitzler, P. et al. | 2008
- 535
-
A Scalable Jointree Algorithm for DiagnosabilitySchumann, A. / Huang, J. et al. | 2008
- 541
-
Factored Models for Probabilistic Modal LogicShirazi, A. / Amir, E. et al. | 2008
- 548
-
AnalogySpace: Reducing the Dimensionality of Common Sense KnowledgeSpeer, R. / Havasi, C. / Lieberman, H. et al. | 2008
- 554
-
An Extended Interpreted System Model for Epistemic LogicsSu, K. / Sattar, A. et al. | 2008
- 560
-
Hyperequivalence of Logic Programs with Respect to Supported ModelsTruszczynski, M. / Woltran, S. et al. | 2008
- 566
-
Generating Application-Specific Benchmark Models for Complex SystemsWang, J. / Provan, G. et al. | 2008
- 572
-
Grounding with BoundsWittocx, J. / Marien, M. / Denecker, M. et al. | 2008
- 578
-
Towards Automatic Animated StoryboardingYe, P. / Baldwin, T. et al. | 2008
- 584
-
Loop Formulas for Logic Programs with Arbitrary Constraint AtomsYou, J.-H. / Liu, G. et al. | 2008
- 590
-
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic ProgrammingYue, A. / Liu, W. et al. | 2008
- 598
-
Distance Metric Learning Versus Fisher Discriminant AnalysisAlipanahi, B. / Biggs, M. / Ghodsi, A. et al. | 2008
- 604
-
Potential-based Shaping in Model-based Reinforcement LearningAsmuth, J. / Littman, M.L. / Zinkov, R. et al. | 2008
- 610
-
Sparse Projections over GraphCai, D. / He, X. / Han, J. et al. | 2008
- 616
-
Clustering via Random Walk Hitting Time on Directed GraphsChen, M. / Liu, J. / Tang, X. et al. | 2008
- 622
-
Integrating Multiple Learning Components through Markov LogicDietterich, T.G. / Bao, X. et al. | 2008
- 628
-
A Case Study on the Critical Role of Geometric Regularity in Machine LearningGauci, J. / Stanley, K.O. et al. | 2008
- 634
-
Semi-Supervised Ensemble RankingHoi, S.C.H. / Jin, R. et al. | 2008
- 640
-
Instance-level Semisupervised Multiple Instance LearningJia, Y. / Zhang, C. et al. | 2008
- 646
-
Zero-data Learning of New TasksLarochelle, H. / Erhan, D. / Bengio, Y. et al. | 2008
- 652
-
Dimension Amnesic Pyramid Match KernelLiu, Y. / Wang, X.-L. / Zha, H. et al. | 2008
- 659
-
Clustering on Complex GraphsLong, B. / Zhang, M. / Yu, P.S. / Xu, T. et al. | 2008
- 665
-
From Comparing Clusterings to Combining ClusteringsLu, Z. / Peng, Y. / Xiao, J. et al. | 2008
- 671
-
Trace Ratio Criterion for Feature SelectionNie, F. / Xiang, S. / Jia, Y. / Zhang, C. / Yan, S. et al. | 2008
- 677
-
Transfer Learning via Dimensionality ReductionPan, S.J. / Kwok, J.T. / Yang, Q. et al. | 2008
- 683
-
Active Learning for Pipeline ModelsRoth, D. / Small, K. et al. | 2008
- 689
-
Economic Hierarchical Q-LearningSchultink, E.G. / Cavallo, R. / Parkes, D.C. et al. | 2008
- 696
-
Markov Blanket Feature Selection for Support Vector MachinesShen, J. / Li, L. / Wong, W.-K. et al. | 2008
- 702
-
On-Line Case-Based Plan Adaptation for Real-Time Strategy GamesSugandh, N. / Ontanon, S. / Ram, A. et al. | 2008
- 708
-
Adapting ADtrees for High Arity FeaturesVan Dam, R. / Langkilde-Geary, I. / Ventura, D. et al. | 2008
- 714
-
Efficient Learning of Action Schemas and Web-Service DescriptionsWalsh, T.J. / Littman, M.L. et al. | 2008
- 720
-
On Discriminative Semi-Supervised ClassificationWang, F. / Zhang, C. et al. | 2008
- 726
-
Semi-supervised Classification Using Local and Global RegularizationWang, F. / Li, T. / Wang, G. / Zhang, C. et al. | 2008
- 732
-
Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech DataWyatt, D. / Choudhury, T. / Bilmes, J. et al. | 2008
- 739
-
Hidden Dynamic Probabilistic Models for Labeling Sequence DataYu, X. / Lam, W. et al. | 2008
- 746
-
Classification by Discriminative RegularizationZhang, B. / Wang, F. / Li, T.-H. / Yin, W.J. / Dong, J. et al. | 2008
- 752
-
Multi-View Local LearningZhang, D. / Wang, F. / Zhang, C. / Li, T. et al. | 2008
- 758
-
Constraint Projections for Ensemble LearningZhang, D. / Chen, S. / Zhou, Z.-H. / Yang, Q. et al. | 2008
- 765
-
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking AgentsGil, Y. / Ratnakar, V. et al. | 2008
- 772
-
Proactive Intrusion DetectionLiebald, B. / Roth, D. / Shah, N. / Srikumar, V. et al. | 2008
- 778
-
Speech-enabled Card Games for Language LearnersMcGraw, I. / Seneff, S. et al. | 2008
- 784
-
Exposing Parameters of a Trained Dynamic Model for Interactive Music CreationMorris, D. / Simon, I. / Basu, S. et al. | 2008
- 792
-
Another Look at Search-Based Drama ManagementNelson, M.J. / Mateas, M. et al. | 2008
- 798
-
Learning to Analyze Binary Computer CodeRosenblum, N. / Zhu, X. / Miller, B. / Hunt, K. et al. | 2008
- 805
-
Prediction and Change Detection in Sequential Data for Interactive ApplicationsZhou, J. / Cheng, L. / Bischof, W.F. et al. | 2008
- 811
-
Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory NetworkZhou, Y. / Li, Z. / Yang, X. / Zhang, L. / Srivastava, S. / Jin, R. / Chan, C. et al. | 2008
- 818
-
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and ExceptionsBaral, C. / Dzifcak, J. / Son, T.C. et al. | 2008
- 824
-
Automatic Semantic Relation Extraction with Multiple Boundary GenerationBeamer, B. / Rozovskaya, A. / Girju, R. et al. | 2008
- 830
-
Importance of Semantic Representation: Dataless ClassificationChang, M.-W. / Ratinov, L. / Roth, D. / Srikumar, V. et al. | 2008
- 836
-
Discourse Topic and Gestural FormEisenstein, J. / Barzilay, R. / Davis, R. et al. | 2008
- 842
-
Text Categorization with Knowledge Transfer from Heterogeneous Data SourcesGupta, R. / Ratinov, L. et al. | 2008
- 848
-
Cross-lingual Propagation for Morphological AnalysisSnyder, B. / Barzilay, R. et al. | 2008
- 855
-
Single Document Keyphrase Extraction Using Neighborhood KnowledgeWan, X. / Xiao, J. et al. | 2008
- 861
-
Using Wiktionary for Computing Semantic RelatednessZesch, T. / Muller, C. / Gurevych, I. et al. | 2008
- 868
-
Optimal Scheduling of Contract Algorithms with Soft DeadlinesAngelopoulos, S. / Lopez-Ortiz, A. / Hamel, A.M. et al. | 2008
- 874
-
Optimal Metric Planning with State Sets in Automata RepresentationBorowsky, B.U. / Edelkamp, S. et al. | 2008
- 880
-
PBA^*: Using Proactive Search to Make A^* Robust to Unplanned DeviationsBreimyer, P. / Wurman, P.R. et al. | 2008
- 886
-
Fast Planning by Search in Domain Transition GraphChen, Y. / Huang, R. / Zhang, W. et al. | 2008
- 892
-
Planning with Problems Requiring Temporal CoordinationColes, A. / Fox, M. / Long, D. / Smith, A. et al. | 2008
- 898
-
Partitioned External-Memory Value IterationDai, P. / Mausam / Weld, D.S. et al. | 2008
- 905
-
Error Classification in Action Descriptions: A Heuristic ApproachEiter, T. / Fink, M. / Senko, J. et al. | 2008
- 911
-
Computing Minimal Diagnoses by Greedy Stochastic SearchFeldman, A. / Provan, G. / van Gemund, A. et al. | 2008
- 919
-
Computing Observation Vectors for Max-Fault Min-Cardinality DiagnosesFeldman, A. / Provan, G. / van Gemund, A. et al. | 2008
- 925
-
Finding State Similarities for Faster PlanningFritz, C. et al. | 2008
- 931
-
Reasoning about Large Taxonomies of ActionsGu, Y. / Soutchanski, M. et al. | 2008
- 938
-
Accuracy of Admissible Heuristic Functions in Selected Planning DomainsHelmert, M. / Mattmuller, R. et al. | 2008
- 944
-
How Good is Almost Perfect?Helmert, M. / Roger, G. et al. | 2008
- 950
-
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering RequiredHogg, C. / Munoz-Avila, H. / Kuter, U. et al. | 2008
- 957
-
Generating Plans in Concurrent, Probabilistic, Over-Subscribed DomainsLi, L. / Onder, N. et al. | 2008
- 963
-
Unknown Rewards in Finite-Horizon DomainsMcMillen, C. / Veloso, M. et al. | 2008
- 969
-
Route Planning under Uncertainty: The Canadian Traveller ProblemNikolova, E. / Karger, D.R. et al. | 2008
- 975
-
Landmarks RevisitedRichter, S. / Helmert, M. / Westphal, M. et al. | 2008
- 983
-
Fusing Procedural and Declarative Planning Goals for Nondeterministic DomainsShaparau, D. / Pistore, M. / Traverso, P. et al. | 2008
- 991
-
Learning Generalized Plans Using Abstract CountingSrivastava, S. / Immerman, N. / Zilberstein, S. et al. | 2008
- 998
-
Hypothesis Pruning and Ranking for Large Plan Recognition ProblemsSukthankar, G. / Sycara, K. et al. | 2008
- 1004
-
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old ConjectureVassos, S. / Levesque, H.J. et al. | 2008
- 1010
-
Probabilistic Planning via Determinization in HindsightYoon, S. / Fern, A. / Givan, R. / Kambhampati, S. et al. | 2008
- 1018
-
CRF-OPT: An Efficient High-Quality Conditional Random Field SolverChen, M. / Chen, Y. / Brent, M.R. et al. | 2008
- 1024
-
Focusing Generalizations of Belief Propagation on Targeted QueriesChoi, A. / Darwiche, A. et al. | 2008
- 1031
-
Many-Pairs Mutual Information for Adding Structure to Belief Propagation ApproximationsChoi, A. / Darwiche, A. et al. | 2008
- 1037
-
Preference Aggregation with Graphical Utility ModelsGonzales, C. / Perny, P. / Queiroz, S. et al. | 2008
- 1043
-
Exploiting Symmetries in POMDPs for Point-Based AlgorithmsKim, K.-E. et al. | 2008
- 1049
-
Towards Faster Planning with Continuous Resources in Stochastic DomainsMarecki, J. / Tambe, M. et al. | 2008
- 1056
-
A Variance Analysis for POMDP Policy EvaluationFard, M.M. / Pineau, J. / Sun, P. et al. | 2008
- 1062
-
Lifted Probabilistic Inference with Counting FormulasMilch, B. / Zettlemoyer, L.S. / Kersting, K. / Haimes, M. / Kaelbling, L.P. et al. | 2008
- 1069
-
Optimal Testing of Structured KnowledgeMunie, M. / Shoham, Y. et al. | 2008
- 1075
-
A General Method for Reducing the Complexity of Relational Inference and its Application to MCMCPoon, H. / Domingos, P. / Sumner, M. et al. | 2008
- 1081
-
Dormant IndependenceShpitser, I. / Pearl, J. et al. | 2008
- 1088
-
Symbolic Heuristic Search Value Iteration for Factored POMDPsSim, H.S. / Kim, K.-E. / Kim, J.H. / Chang, D.-S. / Koo, M.-W. et al. | 2008
- 1094
-
Lifted First-Order Belief PropagationSingla, P. / Domingos, P. et al. | 2008
- 1100
-
Bounding the False Discovery Rate in Local Bayesian Network LearningTsamardinos, I. / Brown, L.E. et al. | 2008
- 1106
-
Hybrid Markov Logic NetworksWang, J. / Domingos, P. et al. | 2008
- 1112
-
Latent Tree Models and Approximate Inference in Bayesian NetworksWang, Y. / Zhang, N.L. / Chen, T. et al. | 2008
- 1119
-
A General Framework for Generating Multivariate Explanations in Bayesian NetworksYuan, C. / Lu, T.-C. et al. | 2008
- 1126
-
On the Enactability of Business ProtocolsDesai, N. / Singh, M.P. et al. | 2008
- 1132
-
Concept-Based Feature Generation and Selection for Information RetrievalEgozi, O. / Gabrilovich, E. / Markovitch, S. et al. | 2008
- 1138
-
Linking Social Networks on the Web with FOAF: A Semantic Web Case StudyGolbeck, J. / Rothstein, M. et al. | 2008
- 1144
-
Mining Translations of Web Queries from Web Click-through DataHu, R. / Chen, W. / Hu, J. / Lu, Y. / Chen, Z. / Yang, Q. et al. | 2008
- 1150
-
Hierarchical Location and Topic Based Query ExpansionHuang, S. / Zhao, Q. / Mitra, P. / Giles, C.L. et al. | 2008
- 1156
-
Semi-Supervised Learning for Blog ClassificationIkeda, D. / Takamura, H. / Okumura, M. et al. | 2008
- 1162
-
Generating Useful Network-based Features for Analyzing Social NetworksKaramon, J. / Matsuo, Y. / Ishizuka, M. et al. | 2008
- 1169
-
Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital DocumentsKataria, S. / Browuer, W. / Mitra, P. / Giles, C.L. et al. | 2008
- 1175
-
Minimizing the Spread of Contamination by Blocking Links in a NetworkKimura, M. / Saito, K. / Motoda, H. et al. | 2008
- 1181
-
A Utility-Theoretic Approach to Privacy and PersonalizationKrause, A. / Horvitz, E. et al. | 2008
- 1189
-
Query-URL Bipartite Based Approach to Personalized Query RecommendationLi, L. / Yang, Z. / Liu, L. / Kitsuregawa, M. et al. | 2008
- 1195
-
Extracting Relevant Snippets for Web NavigationLi, Q. / Candan, K.S. / Yan, Q. et al. | 2008
- 1201
-
Intelligent Output Interface for Intelligent Medical Search EngineLuo, G. et al. | 2008
- 1207
-
Neural Network based Constraint Satisfaction in Ontology MappingMao, M. / Peng, Y. / Spring, M. et al. | 2008
- 1213
-
Supporting Manual Mapping Revision using Logical ReasoningMeilicke, C. / Stuckenschmidt, H. / Tamilin, A. et al. | 2008
- 1219
-
Decoding Wikipedia Categories for Knowledge AcquisitionNastase, V. / Strube, M. et al. | 2008
- 1225
-
Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute ExtractionPasca, M. et al. | 2008
- 1231
-
Question Utility: A Novel Static Ranking of Question SearchSong, Y.-I. / Lin, C.-Y. / Cao, Y. / Rim, H.-C. et al. | 2008
- 1237
-
Metalevel Information in Ontology-Based ApplicationsTran, T. / Haase, P. / Motik, B. / Grau, B.C. / Horrocks, I. et al. | 2008
- 1243
-
Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information ExtractionVan Durme, B. / Pasca, M. et al. | 2008
- 1249
-
An Unsupervised Approach for Product Record Normalization across Different Web SitesWong, T.-L. / Wong, T.-S. / Lam, W. et al. | 2008
- 1255
-
A User-Oriented Webpage Ranking Algorithm Based on User Attention TimeXu, S. / Zhu, Y. / Jiang, H. / Lau, F.C.M. et al. | 2008
- 1261
-
Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank AggregationYang, Z. / Li, L. / Kitsuregawa, M. et al. | 2008
- 1268
-
Spatial Scaffolding for Sociable Robot LearningBreazeal, C. / Berlin, M. et al. | 2008
- 1274
-
POIROT - Integrated Learning of Web Service ProceduresBurstein, M. / Laddaga, R. / McDonald, D. / Cox, M. / Benyo, B. / Robertson, P. / Hussain, T. / Brinn, M. / McDermott, D. et al. | 2008
- 1280
-
An Integrated Reasoning Approach to Moral Decision-MakingDehghani, M. / Tomai, E. / Forbus, K. / Klenk, M. et al. | 2008
- 1287
-
RADAR: A Personal Assistant that Learns to Reduce Email OverloadFreed, M. / Carbonell, J. / Gordon, G. / Hayes, J. / Myers, B. / Siewiorek, D. / Smith, S. / Steinfeld, A. / Tomasic, A. et al. | 2008
- 1294
-
The PELA Architecture: Integrating Planning and Learning to Improve ExecutionJimenez, S. / Fernandez, F. / Borrajo, D. et al. | 2008
- 1300
-
Incorporating Mental Simulation for a More Effective Robotic TeammateKennedy, W.G. / Bugajska, M.D. / Adams, W. / Schultz, A.C. / Trafton, J.G. et al. | 2008
- 1306
-
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production PlansKuhn, L. / Price, B. / de Kleer, J. / Do, M. / Zhou, R. et al. | 2008
- 1313
-
An Integrated Agent for Playing Real-Time Strategy GamesMcCoy, J. / Mateas, M. et al. | 2008
- 1319
-
Adaptive Control for Autonomous Underwater VehiclesMcGann, C. / Py, F. / Rajan, K. / Ryan, J. / Henthorn, R. et al. | 2008
- 1325
-
Achieving Far Transfer in an Integrated Cognitive ArchitectureShapiro, D. / Konik, T. / O Rorke, P. et al. | 2008
- 1331
-
Bimodal Spatial Reasoning with Continuous MotionWintermute, S. / Laird, J.E. et al. | 2008
- 1339
-
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPsBroz, F. / Nourbakhsh, I. / Simmons, R. et al. | 2008
- 1345
-
The Hidden Permutation Model and Location-Based Activity RecognitionBui, H.H. / Phung, D. / Venkatesh, S. / Phan, H. et al. | 2008
- 1351
-
Adaptive Importance Sampling with Automatic Model Selection in Value Function ApproximationHachiya, H. / Akiyama, T. / Sugiyama, M. / Peters, J. et al. | 2008
- 1357
-
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application StudyHoffman, G. / Breazeal, C. et al. | 2008
- 1363
-
CIGAR: Concurrent and Interleaving Goal and Activity RecognitionHu, D.H. / Yang, Q. et al. | 2008
- 1369
-
Efficient Optimization of Information-Theoretic Exploration in SLAMKollar, T. / Roy, N. et al. | 2008
- 1376
-
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of FailureOno, M. / Williams, B.C. et al. | 2008
- 1383
-
Transferring Localization Models across SpacePan, S.J. / Shen, D. / Yang, Q. / Kwok, J.T. et al. | 2008
- 1389
-
Structure Learning on Large Scale Common Sense Statistical Models of Human StatePentney, W. / Philipose, M. / Bilmes, J. et al. | 2008
- 1396
-
Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian NetworksRose, C. / Saboune, J. / Charpillet, F. et al. | 2008
- 1402
-
A Fast Data Collection and Augmentation Procedure for Object RecognitionSapp, B. / Saxena, A. / Ng, A.Y. et al. | 2008
- 1409
-
Multimodal People Detection and Tracking in Crowded ScenesSpinello, L. / Triebel, R. / Siegwart, R. et al. | 2008
- 1415
-
Feature Selection for Activity Recognition in Multi-Robot DomainsVail, D.L. / Veloso, M.M. et al. | 2008
- 1421
-
Transferring Localization Models over TimeZheng, V.W. / Xiang, E.W. / Yang, Q. / Shen, D. et al. | 2008
- 1427
-
Transferring Multi-device Localization Models using Latent Multi-task LearningZheng, V.W. / Pan, S.J. / Yang, Q. / Pan, J.J. et al. | 2008
- 1433
-
Maximum Entropy Inverse Reinforcement LearningZiebart, B.D. / Maas, A. / Bagnell, J.A. / Dey, A.K. et al. | 2008
- 1440
-
Interaction Structure and Dimensionality Reduction in Decentralized MDPsAllen, M. / Petrik, M. / Zilberstein, S. et al. | 2008
- 1442
-
Generating Hard SAT/CSP Instances Using Expander GraphsAnsotegui, C. / Bejar, R. / Fernandez, C. / Mateu, C. et al. | 2008
- 1444
-
An Effective and Robust Method for Short Text ClassificationBobicev, V. / Sokolova, M. et al. | 2008
- 1446
-
Hybrid Constraint Tightening for Solving Hybrid Scheduling ProblemsBoerkoel, J.C. / Durfee, E.H. et al. | 2008
- 1450
-
Data-Driven Programming and Behavior for Autonomous Virtual CharactersDinerstein, J. / Egbert, P.K. / Ventura, D. / Goodrich, M. et al. | 2008
- 1452
-
Limits and Possibilities of BDDs in State Space SearchEdelkamp, S. / Kissmann, P. et al. | 2008
- 1454
-
Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using PokerGilpin, A. / Sandholm, T. et al. | 2008
- 1458
-
Learning to Identify Reduced Passive Verb Phrases with a Shallow ParserIgo, S. / Riloff, E. et al. | 2008
- 1462
-
The Re-Representation Problem in a Logic-Based Framework for Analogy MakingKrumnack, U. / Gust, H. / Kuhnberger, K.-U. / Schwering, A. et al. | 2008
- 1464
-
A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's DiscriminantKsantini, R. / Ziou, D. / Colin, B. / dubeau, F. et al. | 2008
- 1466
-
Dynamic Distributed Constraint ReasoningLass, R.N. / Sultanik, E.A. / Regli, W.C. et al. | 2008
- 1470
-
Ensemble Forecasting for Disease Outbreak DetectionLotze, T.H. / Shmueli, G. et al. | 2008
- 1472
-
Fast Spectral Learning using Lanczos Eigenspace ProjectionsMahadevan, S. et al. | 2008
- 1476
-
Efficiently Exploiting Dependencies in Local Search for SATPham, D.N. / Thornton, J. / Sattar, A. et al. | 2008
- 1479
-
Towards Synthesizing Optimal Coordination Modules for Distributed AgentsPham, M.T. / Seow, K.T. et al. | 2008
- 1481
-
A New Clause Learning Scheme for Efficient Unsatisfiability ProofsPipatsrisawat, K. / Darwiche, A. et al. | 2008
- 1485
-
Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit PokerPonsen, M. / Ramon, J. / Croonenborghs, T. / Driessens, K. / Tuyls, K. et al. | 2008
- 1487
-
Multi-HDP: A Non Parametric Bayesian Model for Tensor FactorizationPorteous, I. / Bart, E. / Welling, M. et al. | 2008
- 1491
-
Learning Grasp Strategies with Partial Shape InformationSaxena, A. / Wong, L.L.S. / Ng, A.Y. et al. | 2008
- 1495
-
Incremental Algorithms for Approximate CompilationVenturini, A. / Provan, G. et al. | 2008
- 1499
-
Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market DisruptionsWalsh, W.E. / Parkes, D.C. / Sandholm, T. / Boutilier, C. et al. | 2008
- 1503
-
Multi-Label Dimensionality Reduction via Dependence MaximizationZhang, Y. / Zhou, Z.-H. et al. | 2008
- 1506
-
Online Learning in MonkeysZhu, X. / Coen, M. / Prudom, S. / Colman, R. / Kemnitz, J. et al. | 2008
- 1509
-
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art PlannersBaier, J.A. / Fritz, C. / Bienvenu, M. / McIlraith, S.A. et al. | 2008
- 1513
-
Learning and Inference with ConstraintsChang, M.-W. / Ratinov, L. / Rizzolo, N. / Roth, D. et al. | 2008
- 1519
-
On-line Planning and Scheduling: An Application to Controlling Modular PrintersDo, M.B. / Ruml, W. / Zhou, R. et al. | 2008
- 1524
-
Intelligent Email: Aiding Users with AIDredze, M. / Wallach, H.M. / Puller, D. / Brooks, T. / Carroll, J. / Magarick, J. / Blitzer, J. / Pereira, F. et al. | 2008
- 1528
-
Magic Sets for Data IntegrationFaber, W. / Greco, G. / Leone, N. et al. | 2008
- 1532
-
Decision-Theoretic User Interface GenerationGajos, K.Z. / Weld, D.S. / Wobbrock, J.O. et al. | 2008
- 1537
-
Achieving Master Level Play in 9 x 9 Computer GoGelly, S. / Silver, D. et al. | 2008
- 1541
-
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient ComputationGottlob, G. / Pichler, R. / Wei, F. et al. | 2008
- 1547
-
Explicit-State Abstraction: A New Method for Generating Heuristic FunctionsHelmert, M. / Haslum, P. / Hoffmann, J. et al. | 2008
- 1551
-
Video Activity Recognition in the Real WorldHoogs, A. / Perera, A.G.A. et al. | 2008
- 1555
-
An Analysis of Transformational Analogy: General Framework and ComplexityKuchibatla, V. / Munoz-Avila, H. et al. | 2008
- 1559
-
Efficient Algorithms to Solve Bayesian Stackelberg Games for Security ApplicationsParuchuri, P. / Pearce, J.P. / Marecki, J. / Tambe, M. / Ordonez, F. / Kraus, S. et al. | 2008
- 1563
-
Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine LearningPatel, K. / Fogarty, J. / Landay, J.A. / Harrison, B. et al. | 2008
- 1567
-
Decompositions of Grammar ConstraintsQuimper, C.-G. / Walsh, T. et al. | 2008
- 1571
-
Make3D: Depth Perception from a Single Still ImageSaxena, A. / Sun, M. / Ng, A.Y. et al. | 2008
- 1577
-
Using Signals of Human Interest to Enhance Single-document SummarizationSvore, K.M. / Vanderwende, L. / Burges, C.J.C. et al. | 2008
- 1581
-
Adaptive Management of Air Traffic Flow: A Multiagent Coordination ApproachTumer, K. / Agogino, A. et al. | 2008
- 1585
-
Breaking Value SymmetryWalsh, T. et al. | 2008
- 1590
-
An Interaction-Based Approach to Computational EpidemiologyBarrett, C.L. / Eubank, S. / Marathe, M.V. et al. | 2008
- 1594
-
What Is Answer Set Programming?Lifschitz, V. et al. | 2008
- 1598
-
Learning to Connect Language and PerceptionMooney, R.J. et al. | 2008
- 1602
-
Artificial Intelligence Needs Open-Access Knowledgebase ContentsSandewall, E. et al. | 2008
- 1606
-
Game Theory Pragmatics: A Challenge for AIShoham, Y. et al. | 2008
- 1609
-
Intelligence in WikipediaWeld, D.S. / Wu, F. / Adar, E. / Amershi, S. / Fogarty, J. / Hoffmann, R. / Patel, K. / Skinner, M. et al. | 2008
- 1616
-
Using AI for Olympic Equestrian Event PreparationChun, A.H.W. et al. | 2008
- 1624
-
A Case Study of AI Application on Language Instruction: CSIECJia, J. et al. | 2008
- 1632
-
Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and CulturesJohnson, W.L. / Valente, A. et al. | 2008
- 1640
-
The Law of Choice and the Decision Not to DecideWilson, D.C. / Leland, S. / Godwin, K. / Baxter, A. / Levy, A. / Smart, J. / Najjar, N. / Andaparambil, J. et al. | 2008
- 1649
-
Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence PredictionAbernethy, J. / Sharman, R. / Bradley, E. et al. | 2008
- 1655
-
Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer NetworksDejmal, S. / Fern, A. / Nguyen, T. et al. | 2008
- 1663
-
Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality DetectionFung, G. / Krishnan, S. / Rao, R.B. / Chen, H. et al. | 2008
- 1671
-
Adaptive Treatment of Epilepsy via Batch-mode Reinforcement LearningGuez, A. / Vincent, R.D. / Avoli, M. / Pineau, J. et al. | 2008
- 1679
-
Enabling the Interoperability of Large-Scale Legacy SystemsGupta, K.M. / Zang, M. / Gray, A. / Aha, D.W. / Kriege, J. et al. | 2008
- 1685
-
Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog AgentShahri, H.H. / Perlis, D. et al. | 2008
- 1693
-
Personalisation of Telecommunications Services as Combinatorial OptimisationLesaint, D. / Mehta, D. / O Sullivan, B. / Quesada, L. / Wilson, N. et al. | 2008
- 1699
-
Diagnosing Faults in Electrical Power Systems of Spacecraft and AircraftMengshoel, O.J. / Darwiche, A. / Cascio, K. / Chavira, M. / Poll, S. / Uckun, S. et al. | 2008
- 1706
-
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat ImagesMorris, R.A. / Gasch, J. / Khatib, L. / Covington, S. et al. | 2008
- 1712
-
Learning to Improve Earth Observation Flight PlanningMorris, R.A. / Oza, N. / Keely, L. / Kurklu, E. / Strawa, A. et al. | 2008
- 1718
-
On-line Recognition of Surgical Activity for Monitoring in the Operating RoomPadoy, N. / Blum, T. / Feussner, H. / Berger, M.-O. / Navab, N. et al. | 2008
- 1725
-
COACH - Cumulative Online Algorithm for Classification of Handwriting DeficienciesRichardson, A. / Kraus, S. / Weiss, P.L. / Rosenblum, S. et al. | 2008
- 1731
-
Real-time Alert Correlation Using Stream Data Mining TechniquesSadoddin, R. / Ghorbani, A.A. et al. | 2008
- 1738
-
A Hybrid Approach to Convoy Movement Planning in an Urban CityThangarajoo, R. / Agussurja, L. / Lau, H.C. et al. | 2008
- 1745
-
In-the-Dark Network Traffic Classification Using Support Vector MachinesTurkett, W.H. / Karode, A.V. / Fulp, E.W. et al. | 2008
- 1751
-
Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary AlgorithmsVon Lucken, C. / Brunelli, R. et al. | 2008
- 1757
-
Semantic Web Development for Traditional Chinese MedicineWu, Z. / Yu, T. / Chen, H. / Jiang, X. / Zhou, C. / Zhang, Y. / Mao, Y. / Feng, Y. / Cui, M. / Yin, A. et al. | 2008
- 1763
-
A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong KongZhu, J. / Zhu, W. / Che, C.H. / Lim, A. et al. | 2008
- 1770
-
Using Reasoning Patterns to Simplify GamesAntos, D. / Pfeffer, A. et al. | 2008
- 1772
-
Lexical and Grammatical InferenceArmstrong, T. / Oates, T. et al. | 2008
- 1774
-
The Benefits of an Ontological Patient Model in Clinical Decision-SupportAustin, M. / Kelly, M. / Brady, M. et al. | 2008
- 1776
-
Using Clustering Methods for Discovering Event StructuresBejan, C.A. / Harabagiu, S. et al. | 2008
- 1778
-
Distributed Reasoning with Conflicts in a Multi-Context FrameworkBikakis, A. / Antoniou, G. et al. | 2008
- 1780
-
Conformant Planning Heuristics Based on Plan Reuse in Belief StatesCai, D. / Sun, J. / Yin, M. et al. | 2008
- 1782
-
Personalized Reasoner Based on Belief Strengths of Information SourcesCai, S.-B. / Ming, Z. / Li, S.-X. et al. | 2008
- 1784
-
A Neuro-Fuzzy Strategy for Web PersonalizationCastellano, G. / Fanelli, A.M. / Plantamura, P. / Torsello, M.A. et al. | 2008
- 1786
-
Sketch Recognition Based on Manifold LearningChoi, H. / Hammond, T. et al. | 2008
- 1788
-
GLADDER: Combining Gesture and Geometric Sketch RecognitionCorey, P. / Hammond, T. et al. | 2008
- 1790
-
Distinguishing between Sketched Scribble Look AlikesDahmen, K. / Hammond, T. et al. | 2008
- 1792
-
Perpetual Learning for Non-Cooperative Multiple AgentsDickens, L. et al. | 2008
- 1794
-
User Identification by Means of Sketched Stroke FeaturesEoff, B.D. / Hammond, T. et al. | 2008
- 1796
-
Unsupervised Categorization (Filtering) of Google Images Based on Visual ConsistencyFazli, P. / Bedrosian, A. et al. | 2008
- 1798
-
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic ProgramsFodor, P. et al. | 2008
- 1800
-
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling TechniquesFodor, P. et al. | 2008
- 1802
-
Predicting Appropriate Semantic Web Terms from WordsHan, L. / Finin, T. et al. | 2008
- 1804
-
Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube SamplingHolder, R. et al. | 2008
- 1806
-
Text Beautifier: An Affective-Text Tool to Tailor Written TextKawsar, F. / Shaikh, M.A.M. / Ishizuka, M. et al. | 2008
- 1808
-
A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain EnvironmentsKiselev, I. / Alhajj, R. et al. | 2008
- 1810
-
Loop Calculus for SatisfiabilityKroc, L. / Chertkov, M. et al. | 2008
- 1812
-
Constrained Classification on Structured DataLee, C.-H. / Brown, M. / Greiner, R. / Wang, S. / Murtha, A. et al. | 2008
- 1814
-
Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative ClassificationLian, C.-c. / Hsu, J.Y.-j. et al. | 2008
- 1816
-
Discover Relevant Environment Feature Using Concurrent Reinforcement LearningLuo, Z. / Bell, D. / McCollum, B. et al. | 2008
- 1818
-
2-Dimensional Cellular Automata Approach for Robot Grid FormationsMead, R. / Weinberg, J.B. et al. | 2008
- 1820
-
Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured SequencesMiller, M. / Stoytchev, A. et al. | 2008
- 1822
-
The Swarm Application FrameworkMiner, D. / desJardins, M. / Hamilton, P. et al. | 2008
- 1824
-
ADROIT: Automatic Discourse Relation Organizer of Internet-based TextMorshed, A.S.M.M. / Ishizuka, M. et al. | 2008
- 1826
-
NP-Completeness of Outcome Optimization for Partial CP-NetsPurrington, K. / Durfee, E.H. et al. | 2008
- 1828
-
Toward Autonomous Learning of an Ontology of Tool Affordances by a RobotSinapov, J. / Stoytchev, A. et al. | 2008
- 1830
-
The Validity of Providing Automated Hints in an ITS Using a MDPStamper, J.C. / Barnes, T. et al. | 2008
- 1832
-
Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese RadicalsTaele, P. / Hammond, T. et al. | 2008
- 1836
-
Eliminating False Positives during Corner Finding by Merging Similar SegmentsWolin, A. / Paulson, B. / Hammond, T. et al. | 2008
- 1838
-
Visualization of Large-Scale Weighted Clustered Graph: A Genetic ApproachZhou, J. / Lin, Y. / Wang, X. et al. | 2008
- 1841
-
The Relational Push-Pull Model: A Generative Model for Relational Data ClusteringAnthony, A. et al. | 2008
- 1843
-
Towards Answer Set Prolog Based Architectures for Intelligent AgentsChintabathina, S. et al. | 2008
- 1845
-
Unstructured Audio Classification for Environment RecognitionChu, S. et al. | 2008
- 1847
-
An Architecture and Formalism for Handling Modular OntologiesEnsan, F. et al. | 2008
- 1849
-
Optimizations and Extensions for the Horn Transaction Logic ProgramsFodor, P. et al. | 2008
- 1851
-
Social Interaction under Uncertainty in Multi Agent SystemsHazon, N. et al. | 2008
- 1853
-
Tightly Coupled Cooperation among Independent AgentsHooper, D. et al. | 2008
- 1855
-
Autonomous Robot Skill AcquisitionKonidaris, G. et al. | 2008
- 1859
-
Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and PlanningMaier, P. et al. | 2008
- 1861
-
Distributed Robust Execution of Qualitative State Plan with Chance ConstraintsOno, M. et al. | 2008
- 1863
-
Combining Global Relevance Information with Local Contextual Clues for Event-Oriented Information ExtractionPatwardhan, S. et al. | 2008
- 1865
-
Computational Influence for Training and EntertainmentRoberts, D.L. et al. | 2008
- 1867
-
Integrative Construction and Analysis of Condition-specific Biological NetworksRoy, S. / Lane, T. / Werner-Washburne, M. et al. | 2008
- 1869
-
Managing Quality of Service with Soft ConstraintsSantini, F. et al. | 2008
- 1874
-
A Hybrid Approach to Domino Portrait GenerationCambazard, H. / Horan, J. / O Mahony, E. / O Sullivan, B. et al. | 2008
- 1876
-
A Demonstration of the RADAR Personal AssistantFaulring, A. / Myers, B. / Mohnkern, K. / Freed, M. et al. | 2008
- 1878
-
CogSketchForbus, K. / Lovett, A. / Lockwood, K. / Wetzel, J. / Matuk, C. / Jee, B. / Usher, J. et al. | 2008
- 1880
-
Yoopick: A Combinatorial Sports Prediction MarketGoel, S. / Pennock, D. / Reeves, D. / Yu, C. et al. | 2008
- 1882
-
Prometheus Design ToolPadgham, L. / Thangarajah, J. / Winikoff, M. et al. | 2008
- 1884
-
ARMOR Security for Los Angeles International AirportPita, J. / Jain, M. / Ordonez, F. / Portway, C. / Tambe, M. / Western, C. / Paruchuri, P. / Kraus, S. et al. | 2008
- 1886
-
Human-Robot Collaboration for Remote SurveillanceSultanik, E.A. / Braude, I. / Thai, P. / Lass, R.N. / Nguyen, D.N. / Kopena, J.B. / Regli, W.C. / Lisse, S.A. / Furtwangler, S.N. / Vayda, A.J. et al. | 2008
- 1888
-
Knowledge-Based Spatial Reasoning for Scene Generation from Text DescriptionsTappan, D. et al. | 2008
- 1890
-
IMT: A Mixed-Initiative Data Mapping and Search ToolkitZang, M. / Gray, A. / Kriege, J. / Gupta, K.M. / Aha, D.W. et al. | 2008