Computer Science

Authors and titles for September 2011

[251] arXiv:1109.1922 [pdf, other]

Title: Predicting the Energy Output of Wind Farms Based on Weather Data: Important Variables and their Correlation

Katya Vladislavleva, Tobias Friedrich, Frank Neumann, Markus Wagner

Comments: 13 pages, 11 figures, 2 tables

Subjects: Artificial Intelligence (cs.AI)

[252] arXiv:1109.1949 [pdf, other]

Title: Alternative Awaiting and Broadcast for Two-Way Relay Fading Channels

Jianquan Liu, Youyun Xu, Meixia Tao

Comments: This paper has been withdrawn by the author as it is a duplicate of arXiv:1109.1041

Subjects: Information Theory (cs.IT)

[253] arXiv:1109.1951 [pdf, other]

Title: A W[1]-Completeness Result for Generalized Permutation Pattern Matching

Marie-Louise Bruner, Martin Lackner

Comments: The contents of this paper have been integrated in the more comprehensive paper "The computational landscape of permutation patterns", arXiv:1301.0340

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[254] arXiv:1109.1966 [pdf, other]

Title: The path inference filter: model-based low-latency map matching of probe vehicle data

Timothy Hunter, Pieter Abbeel, Alexandre Bayen

Comments: Preprint, 23 pages and 23 figures

Subjects: Artificial Intelligence (cs.AI)

[255] arXiv:1109.1989 [pdf, other]

Title: Efficient Personalized Web Mining: Utilizing The Most Utilized Data

L.K. Joshila Grace, V.Maheswari, Dhinaharan Nagamalai

Comments: conference paper

Subjects: Information Retrieval (cs.IR)

[256] arXiv:1109.1990 [pdf, other]

Title: Trace Lasso: a trace norm regularization for correlated designs

Edouard Grave (LIENS, INRIA Paris - Rocquencourt), Guillaume Obozinski (LIENS, INRIA Paris - Rocquencourt), Francis Bach (LIENS, INRIA Paris - Rocquencourt)

Journal-ref: Neural Information Processing Systems, Spain (2012)

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[257] arXiv:1109.1991 [pdf, other]

Title: Effective Personalized Web Mining by Utilizing The Most Utilized Data

L.K. Joshila Grace, V.Maheswari, Dhinaharan Nagamalai

Comments: 9 pages, journal paper

Journal-ref: International Journal of Database Management Systems ( IJDMS ), Vol.3, No.3, August 2011

Subjects: Information Retrieval (cs.IR)

[258] arXiv:1109.1994 [pdf, other]

Title: Maximizing the Cohesion is NP-hard

Adrien Friggeri (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI), Eric Fleury (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI)

Comments: No. RR-7734 (2011)

Subjects: Networking and Internet Architecture (cs.NI); Computational Complexity (cs.CC)

[259] arXiv:1109.2005 [pdf, other]

Title: Convergent Numerical Schemes for the Compressible Hyperelastic Rod Wave Equation

David Cohen, Xavier Raynaud

Subjects: Numerical Analysis (math.NA)

[260] arXiv:1109.2015 [pdf, other]

Title: Constraint-Based Deadlock Checking of High-Level Specifications

Stefan Hallerstede, Michael Leuschel

Journal-ref: Theory and Practice of Logic Programming 11(4--5): 767--782, 2011

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[261] arXiv:1109.2028 [pdf, other]

Title: Modeling Routing Overhead Generated by Wireless Proactive Routing Protocols

Nadeem Javaid, Ayesha Bibi, Akmal Javaid, Shahzad A. Malik

Journal-ref: 54th IEEE Globecom2011 (SaCoNAS Workshop)

Subjects: Networking and Internet Architecture (cs.NI)

[262] arXiv:1109.2034 [pdf, other]

Title: Learning Sequence Neighbourhood Metrics

Justin Bayer, Christian Osendorfer, Patrick van der Smagt

Comments: Artificial Neural Networks and Machine Learning ICANN 2012 Springer Berlin Heidelberg 2012. 531-538

Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG)

[263] arXiv:1109.2047 [pdf, other]

Title: Learning From Labeled And Unlabeled Data: An Empirical Study Across Techniques And Domains

N. V. Chawla, Grigoris Karakoulas

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 331-366, 2005

Subjects: Machine Learning (cs.LG)

[264] arXiv:1109.2048 [pdf, other]

Title: An Expressive Language and Efficient Execution System for Software Agents

G. Barish, C. A. Knoblock

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 625-666, 2005

Subjects: Artificial Intelligence (cs.AI)

[265] arXiv:1109.2049 [pdf, other]

Title: Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Anton Belov, Matti Järvisalo

Comments: 15 pages

Journal-ref: Presented at 8th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS 2011)

Subjects: Artificial Intelligence (cs.AI)

[266] arXiv:1109.2058 [pdf, other]

Title: Text mining and visualization using VOSviewer

Nees Jan van Eck, Ludo Waltman

Subjects: Digital Libraries (cs.DL)

[267] arXiv:1109.2066 [pdf, other]

Title: Formal Analysis of UMTS Privacy

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan

Subjects: Cryptography and Security (cs.CR)

[268] arXiv:1109.2067 [pdf, other]

Title: On the Impossibility of Black-Box Transformations in Mechanism Design

Shuchi Chawla, Nicole Immorlica, Brendan Lucier

Subjects: Computer Science and Game Theory (cs.GT)

[269] arXiv:1109.2075 [pdf, other]

Title: Evidence-Based Comparison of Modularity Support Between Java and Object Teams

Arlindo Lima, Miguel Goulão, Miguel Pessoa Monteiro

Comments: Proceedings of Empirical Evaluation of Software Composition Techniques (ESCOT 2010), at 9th International Conference on Aspect-Oriented Software Development (AOSD'2010), Rennes and Saint Malo, France, 2010

Journal-ref: Proceedings of Empirical Evaluation of Software Composition Techniques (ESCOT 2010), at 9th International Conference on Aspect-Oriented Software Development (AOSD'2010), Rennes and Saint Malo, France, 2010

Subjects: Software Engineering (cs.SE)

[270] arXiv:1109.2080 [pdf, other]

Title: Numerical Optimization of Eigenvalues of Hermitian Matrix Functions

Emre Mengi, Emre Alper Yildirim, Mustafa Kilic

Comments: 25 pages, 3 figures

Subjects: Numerical Analysis (math.NA)

[271] arXiv:1109.2088 [pdf, other]

Title: Online Learning Algorithms for Stochastic Water-Filling

Yi Gai, Bhaskar Krishnamachari

Subjects: Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY); Optimization and Control (math.OC); Probability (math.PR)

[272] arXiv:1109.2112 [pdf, other]

Title: A local strengthening of Reed's ω, Δ, χ conjecture for quasi-line graphs

Maria Chudnovsky, Andrew D. King, Matthieu Plumettaz, Paul Seymour

Comments: 18 pages, 1 figure

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[273] arXiv:1109.2114 [pdf, other]

Title: Net-Centric World: Lifestyle of the 21st Century

Daniel Kharitonov

Comments: Preprint for ITU-T Kaleidoscope 2011

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[274] arXiv:1109.2127 [pdf, other]

Title: Integrating Learning from Examples into the Search for Diagnostic Policies

V. Bayer-Zubek, T. G. Dietterich

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 263-303, 2005

Subjects: Artificial Intelligence (cs.AI)

[275] arXiv:1109.2128 [pdf, other]

Title: LexRank: Graph-based Lexical Centrality as Salience in Text Summarization

Gunes Erkan, Dragomir R. Radev

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 457-479, 2004

Subjects: Computation and Language (cs.CL)

[276] arXiv:1109.2129 [pdf, other]

Title: Extremal Behaviour in Multiagent Contract Negotiation

P. E. Dunne

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 41-78, 2005

Subjects: Multiagent Systems (cs.MA)

[277] arXiv:1109.2130 [pdf, other]

Title: Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods

A. Montoyo, M. Palomar, G. Rigau, A. Suarez

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 299-330, 2005

Subjects: Computation and Language (cs.CL)

[278] arXiv:1109.2131 [pdf, other]

Title: On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study

J. Larrosa, E. Morancho, D. Niso

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 421-440, 2005

Subjects: Artificial Intelligence (cs.AI)

[279] arXiv:1109.2132 [pdf, other]

Title: Hybrid BDI-POMDP Framework for Multiagent Teaming

R. Nair, M. Tambe

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 367-420, 2005

Subjects: Multiagent Systems (cs.MA)

[280] arXiv:1109.2134 [pdf, other]

Title: Generalizing Boolean Satisfiability II: Theory

H. E. Dixon, M. L. Ginsberg, E. M. Luks, A. J. Parkes

Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 481-534, 2004

Subjects: Artificial Intelligence (cs.AI)

[281] arXiv:1109.2135 [pdf, other]

Title: A Framework for Sequential Planning in Multi-Agent Settings

P. Doshi, P. J. Gmytrasiewicz

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 49-79, 2005

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[282] arXiv:1109.2136 [pdf, other]

Title: Learning Content Selection Rules for Generating Object Descriptions in Dialogue

P. W. Jordan, M. A. Walker

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 157-194, 2005

Subjects: Computation and Language (cs.CL)

[283] arXiv:1109.2137 [pdf, other]

Title: Relational Dynamic Bayesian Networks

P. Domingos, S. Sanghai, D. Weld

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 759-797, 2005

Subjects: Artificial Intelligence (cs.AI)

[284] arXiv:1109.2138 [pdf, other]

Title: Reasoning about Action: An Argumentation - Theoretic Approach

N. Y. Foo, Q. B. Vo

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 465-518, 2005

Subjects: Artificial Intelligence (cs.AI)

[285] arXiv:1109.2139 [pdf, other]

Title: Solving Set Constraint Satisfaction Problems using ROBDDs

P. J. Hawkins, V. Lagoon, P. J. Stuckey

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 109-156, 2005

Subjects: Artificial Intelligence (cs.AI)

[286] arXiv:1109.2140 [pdf, other]

Title: Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

P. Cimiano, A. Hotho, S. Staab

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 305-339, 2005

Subjects: Artificial Intelligence (cs.AI)

[287] arXiv:1109.2141 [pdf, other]

Title: Efficiency versus Convergence of Boolean Kernels for On-Line Learning Algorithms

R. Khardon, D. Roth, R. A. Servedio

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 341-356, 2005

Subjects: Machine Learning (cs.LG)

[288] arXiv:1109.2142 [pdf, other]

Title: Generalizing Boolean Satisfiability III: Implementation

H. E. Dixon, M. L. Ginsberg, D. Hofer, E. M. Luks, A. J. Parkes

Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 441-531, 2005

Subjects: Artificial Intelligence (cs.AI)

[289] arXiv:1109.2143 [pdf, other]

Title: Ignorability in Statistical and Probabilistic Inference

M. Jaeger

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 889-917, 2005

Subjects: Artificial Intelligence (cs.AI)

[290] arXiv:1109.2145 [pdf, other]

Title: Perseus: Randomized Point-based Value Iteration for POMDPs

M. T.J. Spaan, N. Vlassis

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 195-220, 2005

Subjects: Artificial Intelligence (cs.AI)

[291] arXiv:1109.2146 [pdf, other]

Title: CIXL2: A Crossover Operator for Evolutionary Algorithms Based on Population Features

N. García-Pedrajas, C. Hervás-Martínez, D. Ortiz-Boyer

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 1-48, 2005

Subjects: Neural and Evolutionary Computing (cs.NE)

[292] arXiv:1109.2147 [pdf, other]

Title: Risk-Sensitive Reinforcement Learning Applied to Control under Constraints

P. Geibel, F. Wysotzki

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 81-108, 2005

Subjects: Machine Learning (cs.LG)

[293] arXiv:1109.2148 [pdf, other]

Title: Logical Hidden Markov Models

L. De Raedt, K. Kersting, T. Raiko

Journal-ref: Journal Of Artificial Intelligence Research, Volume 25, pages 425-456, 2006

Subjects: Artificial Intelligence (cs.AI)

[294] arXiv:1109.2152 [pdf, other]

Title: Pure Nash Equilibria: Hard and Easy Games

G. Gottlob, G. Greco, F. Scarcello

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 357-406, 2005

Subjects: Computer Science and Game Theory (cs.GT)

[295] arXiv:1109.2153 [pdf, other]

Title: mGPT: A Probabilistic Planner Based on Heuristic Search

B. Bonet, H. Geffner

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 933-944, 2005

Subjects: Artificial Intelligence (cs.AI)

[296] arXiv:1109.2154 [pdf, other]

Title: Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators

A. Botea, M. Enzenberger, M. Mueller, J. Schaeffer

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 581-621, 2005

Subjects: Artificial Intelligence (cs.AI)

[297] arXiv:1109.2155 [pdf, other]

Title: Optiplan: Unifying IP-based and Graph-based Planning

S. Kambhampati, M.H.L. van den Briel

Journal-ref: Journal Of Artificial Intelligence Research, Volume 24, pages 919-931, 2005

Subjects: Artificial Intelligence (cs.AI)

[298] arXiv:1109.2156 [pdf, other]

Title: Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes

A. Fern, R. Givan, S. Yoon

Journal-ref: Journal Of Artificial Intelligence Research, Volume 25, pages 75-118, 2006

Subjects: Artificial Intelligence (cs.AI)

[299] arXiv:1109.2158 [pdf, other]

Title: Deconstructing Approximate Offsets

Eric Berberich, Dan Halperin, Michael Kerber, Roza Pogalnikova

Comments: 18 pages, 11 figures, previous version accepted at SoCG 2011, submitted to DCG

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

[300] arXiv:1109.2162 [pdf, other]

Title: The Complexity of the Empire Colouring Problem

Andrew R. A. McGrae, Michele Zito

Comments: 23 pages, 12 figures

Journal-ref: Algorithmica, 68(2) 483-503 (2014)

Subjects: Computational Complexity (cs.CC)