- Feng Niu, Ce Zhang, Christopher Ré, Jude W. Shavlik:
Felix: Scaling Inference for Markov Logic with an Operator-based Approach. CoRR abs/1108.0294 (2011) - Benjamin Doerr, Leslie Ann Goldberg:
Adaptive Drift Analysis. CoRR abs/1108.0295 (2011) - Pavel Chigansky, Fima C. Klebaner:
The Euler-Maruyama approximation for the absorbtion times. CoRR abs/1108.0307 (2011) - Rüdiger Ehlers:
Small witnesses, accepting lassos and winning strategies in omega-automata and games. CoRR abs/1108.0315 (2011) - Rémy Haemmerlé:
Observational equivalences for linear logic CC languages. CoRR abs/1108.0329 (2011) - Rémy Haemmerlé:
(Co-)Inductive semantics for Constraint Handling Rules. CoRR abs/1108.0330 (2011) - Stefano Panzieri, Gabriele Oliva, Roberto Setola:
Fuzzy Consensus and Synchronization: Theory and Application to Critical Infrastructure Protection Problems. CoRR abs/1108.0333 (2011) - Benjamin Doerr, Timo Kötzing, Johannes Lengler, Carola Winzen:
Black-Box Complexities of Combinatorial Problems. CoRR abs/1108.0342 (2011) - Velimir M. Ilic:
Entropy Semiring Forward-backward Algorithm for HMM Entropy Computation. CoRR abs/1108.0347 (2011) - Velimir M. Ilic, Miroslav D. Ciric, Miomir S. Stankovic:
Cross-moments computation for stochastic context-free grammars. CoRR abs/1108.0353 (2011) - William O'Mullane, Xavier Luri, Paul Parsons, Uwe Lammers, John Hoar, Jose Hernandez:
Using Java for distributed computing in the Gaia satellite data processing. CoRR abs/1108.0355 (2011) - Fabian Steeg
:
Typesafe Modeling in Text Mining. CoRR abs/1108.0363 (2011) - Mihalis G. Markakis, Eytan H. Modiano, John N. Tsitsiklis:
Max-Weight Scheduling in Queueing Networks with Heavy-Tailed Traffic. CoRR abs/1108.0370 (2011) - Anh Le, Athina Markopoulou:
On Detecting Pollution Attacks in Inter-Session Network Coding. CoRR abs/1108.0377 (2011) - Fei Li:
A Comprehensive Study of an Online Packet Scheduling Algorithm. CoRR abs/1108.0388 (2011) - Erik Agrell:
The Channel Capacity Increases with Power. CoRR abs/1108.0391 (2011) - Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J. Spaan:
Exploiting Agent and Type Independence in Collaborative Graphical Bayesian Games. CoRR abs/1108.0404 (2011) - Sergey Kardash:
Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version). CoRR abs/1108.0408 (2011) - Shvetha Soundararajan:
A Methodology for assessing Agile Software Development Approaches. CoRR abs/1108.0427 (2011) - Feng Wang, Haiyang Wang, Kuai Xu:
Diffusive Logistic Model Towards Predicting Information Diffusion in Online Social Networks. CoRR abs/1108.0442 (2011) - Meng Wang, Weiyu Xu, Enrique Mallada, Ao Tang:
Sparse Recovery with Graph Constraints: Fundamental Limits and Measurement Construction. CoRR abs/1108.0443 (2011) - Gitta Kutyniok, Wang-Q Lim, Xiaosheng Zhuang:
Digital Shearlet Transform. CoRR abs/1108.0454 (2011) - Saverio Perugini:
Staging Mixed-Initiative Dialogs by Program Generation and Transformation. CoRR abs/1108.0476 (2011) - Arian Maleki, Laura Anitori, Zai Yang, Richard G. Baraniuk:
Asymptotic Analysis of Complex LASSO via Complex Approximate Message Passing (CAMP). CoRR abs/1108.0477 (2011) - Nimalan Nandapalan, Richard P. Brent, Lawrence M. Murray, Alistair P. Rendell:
High-Performance Pseudo-Random Number Generation on Graphics Processing Units. CoRR abs/1108.0486 (2011) - Ian R. Petersen:
A Kalman Decomposition for Possibly Controllable Uncertain Linear Systems. CoRR abs/1108.0488 (2011) - Rom Aschner, Matthew J. Katz, Gila Morgenstern:
Symmetric Connectivity with Directional Antennas. CoRR abs/1108.0492 (2011) - Bogdan Aman:
Spatial Dynamic Structures and Mobility in Computation. CoRR abs/1108.0496 (2011) - Jagdish Lal Raheja, Karen Das, Ankit Chaudhary:
An Efficient Real Time Method of Fingertip Detection. CoRR abs/1108.0502 (2011) - Vahid Aref, Rüdiger L. Urbanke:
Universal Rateless Codes From Coupled LT Codes. CoRR abs/1108.0535 (2011)
