ECAI 2010 - PDF Preprint Papers

ECAI 2010 Truth Maintenance Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECAI-2010 Paper

click to vote

ECAI
2010
Springer

339views Artificial Intelligence» more ECAI 2010»

Bayesian Monte Carlo for the Global Optimization of Expensive Functions

14 years 16 days ago

Download www.sps.ele.tue.nl

In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...

Perry Groot, Adriana Birlutiu, Tom Heskes

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	339	Bayesian Monte Carlo for the Global Optimization of Expensive Functions	claim
2	313	Local search algorithms on the Stable Marriage Problem: Experimental Studies	claim
3	310	Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains	claim
4	296	Continuous Conditional Random Fields for Regression in Remote Sensing	claim
5	282	Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters	claim
6	281	Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity	claim
7	265	From bursty patterns to bursty facts: The effectiveness of temporal text mining for news	claim
8	262	Linear Logic for Non-Linear Storytelling	claim
9	256	ABA: Argumentation Based Agents	claim
10	255	Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning	claim
11	253	Learning Aggregation Functions for Expert Search	claim
12	252	Parallel TBox Classification in Description Logics - First Experimental Results	claim
13	250	Higher-Order Coalition Logic	claim
14	249	Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space	claim
15	247	Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS)	claim
16	245	Extraction of Places Related to Flickr Tags	claim
17	245	Foundations of Tree-like Local Model Updates	claim
18	244	A Fault-model-based Debugging Aid for Data Warehouse Applications	claim
19	242	Verifying Properties of Infinite Sequences of Description Logic Actions	claim
20	242	Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics	claim
21	242	The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time	claim
22	241	Automatic free-text-tagging of online news archives	claim
23	240	Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling	claim
24	240	On the stability of an Optimal Coalition Structure	claim
25	239	Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities	claim
26	239	A contextual reading of conditional commitments	claim
27	238	The Dynamics of Multi-Agent Reinforcement Learning	claim
28	236	On Computing Backbones of Propositional Theories	claim
29	234	Event Model Learning from Complex Videos using ILP	claim
30	234	On Testing Answer-Set Programs	claim
31	234	Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced Options	claim
32	234	LTL Goal Specifications Revisited	claim
33	233	Implicit Learning of Compiled Macro-Actions for Planning	claim
34	233	Acquisition of Grammar in Autonomous Artificial Systems	claim
35	233	Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability	claim
36	233	Learning action effects in partially observable domains	claim
37	232	Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs	claim
38	232	EP for Efficient Stochastic Control with Obstacles	claim
39	231	Unsupervised Layer-Wise Model Selection in Deep Neural Networks	claim
40	231	Parallel Model Checking for Temporal Epistemic Logic	claim
41	231	Nested Monte-Carlo Expression Discovery	claim
42	229	Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics	claim
43	228	Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!	claim
44	227	On Finding Compromise Solutions in Multiobjective Markov Decision Processes	claim
45	227	Learning conditionally lexicographic preference relations	claim
46	226	Semi-Automatic Revision of Formalized Knowledge	claim
47	226	Optimal Tableaux for Conditional Logics with Cautious Monotonicity	claim
48	224	ANTIPA: an agent architecture for intelligent information assistance	claim
49	224	Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods	claim
50	223	Multi Grain Sentiment Analysis using Collective Classification	claim
51	222	On Semantic Update Operators for Answer-Set Programs	claim
52	219	Brothers in Arms? On AI Planning and Cellular Automata	claim
53	219	Knowledge Compilation Using Interval Automata and Applications to Planning	claim
54	217	A Decentralised Symbolic Diagnosis Approach	claim
55	216	Probabilistic Logic with Conditional Independence Formulae	claim
56	216	Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms	claim
57	216	A Network Flow Approach to Coalitional Games	claim
58	216	A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination	claim
59	214	Open-ended Grounded Semantics	claim
60	214	Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies	claim
61	213	Compiling Uncertainty Away in Non-Deterministic Conformant Planning	claim
62	213	Stream-Based Reasoning Support for Autonomous Systems	claim
63	212	Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations	claim
64	212	ISAC - Instance-Specific Algorithm Configuration	claim
65	212	Social Recommendation with Interpersonal Influence	claim
66	211	Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions	claim
67	211	Computation in Extended Argumentation Frameworks	claim
68	211	Restarts and Nogood Recording in Qualitative Constraint-based Reasoning	claim
69	211	Symmetries of Symmetry Breaking Constraints	claim
70	211	Improving the Global Constraint SoftPrec	claim
71	210	Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive	claim
72	210	Relative-Order Abstractions for the Pancake Problem	claim
73	210	The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks	claim
74	209	A Unified Framework for Non-standard Reasoning Services in Description Logics	claim
75	209	Majority Merging: from Boolean Spaces to Affine Spaces	claim
76	209	Kernel Methods for Revealed Preference Analysis	claim
77	208	Detecting Ironic Intent in Creative Comparisons	claim
78	208	On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs	claim
79	206	ProbLog Technology for Inference in a Probabilistic First Order Logic	claim
80	205	A constructive conditional logic for access control: a preliminary report	claim
81	205	The Epistemic View of Belief Merging: Can We Track the Truth?	claim
82	204	Learning better together	claim
83	204	A unified interaction-aware goal framework	claim
84	204	The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery	claim
85	203	Horn Belief Change: A Contraction Core	claim
86	202	Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar	claim
87	201	Sound and Complete Landmarks for And/Or Graphs	claim
88	201	Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation	claim
89	200	Prediction of Attributes and Links in Temporal Social Networks	claim
90	199	A Motivation-Based Mechanism to Design Behaviors	claim
91	199	Learning When to Use Lazy Learning in Constraint Solving	claim
92	198	An Empirical Study of the Manipulability of Single Transferable Voting	claim
93	197	A Very Fast Method for Clustering Big Text Datasets	claim
94	196	Propagation of Opinions in Structural Graphs	claim
95	196	Behavior-Oriented Commitment-based Protocols	claim
96	195	Iterative Bounding LAO	claim
97	194	An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play	claim
98	193	Human Activity Recognition in Intelligent Home Environments: An Evolving Approach	claim
99	193	Learning to Author Text with textual CBR	claim
100	188	On the (Un-)Decidability of Model Checking Resource-Bounded Agents	claim
101	184	Non-elementary speed up for model checking synchronous perfect recall	claim
102	181	LP Solvable Models for Multiagent Fair Allocation Problems	claim
103	180	Joint handling of Rational and Behavioral reactions in Assistant Conversational Agents	claim
104	180	Integrating Probability Constraints into Bayesian Nets	claim
105	176	Strengthening Landmark Heuristics via Hitting Sets	claim
106	174	Modelling Multilateral Negotiation in Linear Logic	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers