


Остановите войну!
for scientists:


default search action
CoRR, October 2009
- Mikolás Janota, João Marques-Silva, Radu Grigore:
Algorithms for finding dispensable variables. - Bruno Grenet:
Acceptable Complexity Measures of Theorems. - Patrick Briest, Sanjeev Khanna:
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing. - Andrea Campagna, Rasmus Pagh:
Finding Associations and Computing Similarity via Biased Pair Sampling. - Richard G. Clegg, Raul Landa, Miguel Rio:
Criticisms of modelling packet traffic using long-range dependence. - O. Said, S. Bahgat, M. Ghoniemy, Y. Elawdy:
Analysis, Design and Simulation of a New System for Internet Multimedia Transmission Guarantee. - Ivan Voras, Mario Zagar:
Web-enabling Cache Daemon for Complex Data. - Renuka A., K. C. Shet:
Hierarchical Approach for Key Management in Mobile Ad hoc Networks. - Venkatesh Saligrama, Manqi Zhao:
Compressed Blind De-convolution. - Deeparnab Chakrabarty, Jochen Könemann, David Pritchard:
Hypergraphic LP Relaxations for Steiner Trees. - Randall Dougherty, Christopher F. Freiling, Kenneth Zeger:
Linear rank inequalities on five or more variables. - George B. Purdy, Justin W. Smith:
On Finding Ordinary or Monochromatic Intersection Points. - P. Ganeshkumar, K. Thyagarajah:
An Analysis of Energy Consumption on ACK plus Rate Packet in Rate Based Transport Protocol. - Abbas Karimi, Faraneh Zarafshan, Adznan Bin Jantan, Abdul Rahman Ramli, M. Iqbal Saripan:
A New Fuzzy Approach for Dynamic Load Balancing Algorithm. - Jialing Liu, Nicola Elia:
Convergence of Fundamental Limitations in Feedback Communication, Estimation, and Feedback Control over Gaussian Channels. - Claudia Marinica, Fabrice Guillet, Henri Briand:
Post-Processing of Discovered Association Rules Using Ontologies. - Daniel Cederman, Philippas Tsigas:
Supporting Lock-Free Composition of Concurrent Data Objects. - Benjamin Steinberg:
The averaging trick and the Cerny conjecture. - Emmanuel J. Candès, Yaniv Plan:
Accurate low-rank matrix recovery from a small number of linear measurements. - Parinya Chalermsook, Bundit Laekhanukit, Danupon Nanongkai:
Stackelberg Pricing is Hard to Approximate within 2-ε. - Kamiar Rahnama Rad:
Sharp Sufficient Conditions on Exact Sparsity Pattern Recovery. - Andreas Björklund:
Exact Covers via Determinants. - Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione:
From Requirements to code: an Architecture-centric Approach for producing Quality Systems. - José A. Soto:
Improved Analysis of a Max Cut Algorithm Based on Spectral Partitioning. - Imran S. Haque, Vijay S. Pande:
Hard Data on Soft Errors: A Large-Scale Assessment of Real-World Error Rates in GPGPU. - Ye Du:
Ranking via Arrow-Debreu Equilibrium. - Victor Gluzberg:
A Note On Higher Order Grammar. - Om Prasad Patri, Amit Kumar Mishra:
Pre-processing in AI based Prediction of QSARs. - Michel X. Goemans:
Combining Approximation Algorithms for the Prize-Collecting TSP. - Syed Ali Jafar:
Exploiting Channel Correlations - Simple Interference Alignment Schemes with no CSIT. - Michael Lampis:
Algorithmic Meta-Theorems for Graphs of Bounded Vertex Cover. - Sham M. Kakade, Shai Shalev-Shwartz, Ambuj Tewari:
Applications of strong convexity--strong smoothness duality to learning with matrices. - Alexandru Costan, Corina Stratan, Eliana-Dina Tirsa, Mugurel Ionut Andreica, Valentin Cristea:
Towards a Grid Platform for Scientific Workflows Management. - Gerard Briscoe, Suzanne Sadedin:
Digital Business Ecosystems: Natural Science Paradigms. - (Withdrawn) Capacity Region of a State Dependent Degraded Broadcast Channel with Noncausal Transmitter CSI.
- Benjamin Recht:
A Simpler Approach to Matrix Completion. - Himanshu Tyagi, Prakash Narayan:
The Gelfand-Pinsker Channel: Strong Converse and Upper Bound for the Reliability Function. - Fei Wei, Huazhong Yang:
From devil to angel, transmission lines boost parallel computing of linear resistor networks. - Yuan (Alan) Qi, Ahmed H. Abdel-Gawad, Thomas P. Minka:
Variable sigma Gaussian processes: An expectation propagation perspective. - Gerard Briscoe, Philippe De Wilde:
Computing of Applied Digital Ecosystems. - Laurent Poinsot, Gérard Henry Edmond Duchamp, Silvia Goodenough, Karol A. Penson:
Statistics on Graphs, Exponential Formula and Combinatorial Physics. - Dmytro V. Lande, A. A. Snarskii:
Self-similarity properties in a queuing network model. - Ciprian Mihai Dobre, Florin Pop, Alexandru Costan, Mugurel Ionut Andreica, Valentin Cristea:
Robust Failure Detection Architecture for Large Scale Distributed Systems. - Manar Mohaisen, KyungHi Chang:
Co-Channel Interference Cancellation in OFDM Networks using Coordinated Symbol Repetition and Soft Decision MLE CCI Canceler. - Erika De Francesco, Salvatore Iiritano, Antonino Spagnolo, Marco Iannelli:
A methodology for semi-automatic classification schema building. - Andrew Gacek:
A Framework for Specifying, Prototyping, and Reasoning about Computational Systems. - Adrien Richard:
Local negative circuits and fixed points in Boolean networks. - Glencora Borradaile, Brent Heeringa, Gordon T. Wilfong:
Approximation Algorithms for Constrained Knapsack Problems. - D. Shanmugapriya, G. Padmavathi:
A Survey of Biometric keystroke Dynamics: Approaches, Security and Challenges. - Md. Ashraful Islam, Riaz Uddin Mondal, Md. Zahid Hasan:
Performance Evaluation of Wimax Physical Layer under Adaptive Modulation Techniques and Communication Channels. - Adhistya Erna Permanasari, Dayang Rohaya Awang Rambli, P. Dhanapal Durai Dominic:
Prediction of Zoonosis Incidence in Human using Seasonal Auto Regressive Integrated Moving Average (SARIMA). - Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal deterministic ring exploration with oblivious asynchronous robots. - Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten:
Design of asynchronous supervisors. - Arpita Ghosh, Randolph Preston McAfee, Kishore Papineni, Sergei Vassilvitskii:
Bidding for Representative Allocations for Display Advertising. - Guanfeng Liang, Nitin H. Vaidya:
When Watchdog Meets Coding. - Sagar Shah, Yao Yu, Athina P. Petropulu:
Step-Frequency Radar with Compressive Sampling (SFR-CS). - Jamshid Abouei, Konstantinos N. Plataniotis, Subbarayan Pasupathy:
Green Modulation in Proactive Wireless Sensor Networks. - Yi Cao, Biao Chen:
Interference Channels with One Cognitive Transmitter. - Sajid M. Siddiqi, Byron Boots, Geoffrey J. Gordon:
Reduced-Rank Hidden Markov Models. - Tom Leinster:
A maximum entropy theorem with applications to the measurement of biodiversity. - Esteban Arcaute, Sergei Vassilvitskii:
Social Networks and Stable Matchings in the Job Market. - Soummya Kar, Bruno Sinopoli, José M. F. Moura:
A Random Dynamical Systems Approach to Filtering in Large-scale Networks. - Raghunandan H. Keshavan, Andrea Montanari, Sewoong Oh:
Low-rank Matrix Completion with Noisy Observations: a Quantitative Comparison. - Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek
, Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models. 31-45 - Tomás Skopal, Jakub Lokoc:
On Metric Skyline Processing by PM-tree. - Ernie Cohen:
Pessimistic Testing. - Pierrick Tranouez, Antoine Dutot:
Building upon Fast Multipole Methods to Detect and Model Organizations. - Tristan Crolard, Emmanuel Polonowski:
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables. - Éric Daudé
, Pierrick Tranouez, Patrice Langlois:
A multiagent urban traffic simulation. Part II: dealing with the extraordinary. - Ernie Cohen:
Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation. - Nicolas Catusse, Victor Chepoi
, Yann Vaxès:
Embedding into the rectilinear plane in optimal O*(n^2). - Alexandros G. Dimakis, Pascal O. Vontobel:
LP Decoding meets LP Decoding: A Connection between Channel Coding and Compressed Sensing. - Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan:
Can Iterative Decoding for Erasure Correlated Sources be Universal? - Jun Li, Marwan Hadri Azmi, Robert A. Malaney, Jinhong Yuan:
Design of network-coding based multi-edge type LDPC codes for multi-source relaying systems. - Rahul Urgaonkar, Michael J. Neely:
Delay-Limited Cooperative Communication with Reliability Constraints in Wireless Networks. - Mark Braverman, Elchanan Mossel:
Sorting from Noisy Information. - Bogdan Aman
, Gabriel Ciobanu
:
Mutual Mobile Membranes with Timers. 1-15 - Pham Quang Dung, Yves Deville, Pascal Van Hentenryck:
A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract). 5-11 - Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson:
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results. 27-40 - David Pereira, Inês Lynce, Steven D. Prestwich:
On Improving Local Search for Unsatisfiability. 41-53 - Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
Integrating Conflict Driven Clause Learning to Local Search. 55-68 - Fang He, Rong Qu:
A Constraint-directed Local Search Approach to Nurse Rostering Problems. 69-80 - Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet:
Sonet Network Design Problems. 81-95 - Salvador Abreu
, Daniel Diaz
, Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). 97-111 - Jun He, Pierre Flener
, Justin Pearson:
Toward an automaton Constraint for Local Search. 13-25 - Olivier Finkel:
The Complexity of Infinite Computations In Models of Set Theory. - Taoufik Bdiri, Fabien Moutarde, Nicolas Bourdis, Bruno Steux:
Adaboost with "Keypoint Presence Features" for Real-Time Vehicle Visual Detection. - Bogdan Stanciulescu, Amaury Breheret, Fabien Moutarde:
Introducing New AdaBoost Features for Real-Time Vehicle Detection. - Taoufik Bdiri, Fabien Moutarde, Bruno Steux:
Visual object categorization with new keypoint-based adaBoost features. - Fabien Moutarde, Alexandre Bargeton, Anne Herbin, Lowik Chanussot:
Modular Traffic Sign Recognition applied to on-vehicle real-time visual detection of American and European speed limit signs. - Mehdi Torbatian, Mohamed Oussama Damen:
On the Outage Behavior of Asynchronous OFDM DF and AF Cooperative Networks. - Wei Mao, Babak Hassibi:
Violating the Ingleton Inequality with Finite Groups. - Tobias Jacobs:
Resistant Algorithms: Obtaining Simpler Proofs by Excluding Corner Cases. - Wei-Mei Chen, Hsien-Kuei Hwang, Tsung-Hsi Tsai:
Simple, efficient maxima-finding algorithms for multidimensional samples. - Ping Li:
On the Sample Complexity of Compressed Counting. - Yves Deville, Christine Solnon:
Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. EPTCS 5, 2009 [contents] - Luca Bortolussi
, Alberto Policriti:
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. 63-76 - Yeow-Khiang Chia, Abbas El Gamal:
3-Receiver Broadcast Channels with Common and Confidential Messages. - Laurence Loewe, Stuart L. Moodie, Jane Hillston:
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA. 93-107 - Heike Siebert:
Dynamical and Structural Modularity of Discrete Regulatory Networks. 109-124 - Sarif Sk. Hassan, Pabitra Pal Choudhury, Amita Pal, R. L. Brahmachary, Arunava Goswami:
Smelling Lilly of the Valley: Nature inspired or A Mathematical construct? - Maurice J. Jansen, Jayalal Sarma:
Balancing Bounded Treewidth Circuits. - Albena Tchamova, Jean Dezert, Florentin Smarandache
:
Tracking object's type changes with fuzzy based fusion rule. - Maurice J. Jansen:
Weakening Assumptions for Deterministic Subexponential Time Non-Singular Matrix Completion. - Morten Hansen, Babak Hassibi, Alexandros G. Dimakis, Weiyu Xu:
Near-Optimal Detection in MIMO Systems using Gibbs Sampling. - P. Jayarekha, T. R. Gopalakrishnan Nair:
Prefetching of VoD Programs Based On ART1 Requesting Clustering. - M. Dakshayini, T. R. Gopalakrishnan Nair:
Prefix based Chaining Scheme for Streaming Popular Videos using Proxy servers in VoD. - Annapurna P. Patil, Narmada Sambaturu
, Krittaya Chunhaviriyakul:
Convergence Time Evaluation of Algorithms in MANETs. - Alain Lecomte, Myriam Quatrini:
Ludics and its Applications to natural Language Semantics. - Apostolos Syropoulos:
Some Thoughts on Hypercomputation. - Ping Li:
Estimating Entropy of Data Streams Using Compressed Counting. - Xiang He, Aylin Yener:
Cooperation with an Untrusted Relay: A Secrecy Perspective. - Thomas Ang, Jeffrey O. Shallit:
Length of the Shortest Word in the Intersection of Regular Languages. - Yi Cao, Biao Chen:
Capacity Bounds for Two-Hop Interference Networks. - Manas K. Patra, Samuel L. Braunstein:
An algebraic framework for information theory: Classical Information. - Aaron D. Jaggard, Michael Schapira, Rebecca N. Wright:
Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond. - Ralph-Johan Back, Ion Petre
, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - Wei Lu, Namrata Vaswani:
Modified Basis Pursuit Denoising(MODIFIED-BPDN) for Noisy Compressive Sensing with Partially Known Support. - Goochul Chung, Sriram Vishwanath, Chan-Soo Hwang:
On the Fundamental Limits of Interweaved Cognitive Radios. - Hee-Kap Ahn, Sang Won Bae, Erik D. Demaine, Martin L. Demaine, Sang-Sub Kim, Matias Korman, Iris Reinbacher, Wanbin Son:
Covering Points by Disjoint Boxes with Outliers. - Dingyin Xia, Fei Wu, Xuqing Zhang, Yueting Zhuang:
Local and global approaches of affinity propagation clustering for large scale data. - Zuleita Ka Ming Ho, David Gesbert:
Balancing Egoism and Altruism on MIMO Interference Channel. - J. Christian Attiogbé
:
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). - Dominik Janzing, Bastian Steudel:
Justifying additive-noise-model based causal discovery via algorithmic information theory. - Federico Calzolari:
High availability using virtualization. - Laurent Tapie
, Kwamiwi Mawussi:
Decomposition of forging die for high speed machining. - Laurent Tapie, Kwamiwi Mawussi, Bernard Anselmetti:
Circular tests for HSM machine tools: Bore machining application. - Laurent Tapie
, Kwamiwi Mawussi, Bernard Anselmetti:
Machining strategy choice: performance VIEWER. - Laurent Tapie
, Kwamiwi Mawussi, Bernard Anselmetti:
Decomposition of forging dies for machining planning. - Kwamiwi Mawussi, Laurent Tapie
:
Définition d'une pièce test pour la caractérisation d'une machine UGV. - Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. - Jaeweon Kim, Jeffrey G. Andrews:
Spectrum Sensing with Spectral Covariance for Cognitive Radio. - Cyril Furtlehner, Michèle Sebag, Xiangliang Zhang:
Scaling Analysis of Affinity Propagation. - Elaine M. Eschen, Chính T. Hoàng, Jeremy P. Spinrad, R. Sritharan:
Finding a sun in building-free graphs. - Manoj Kumar Singh:
Password Based a Generalize Robust Security System Design Using Neural Network. - Pascal Fallavollita:
3D/2D Registration of Mapping Catheter Images for Arrhythmia Interventional Assistance. - Mandhapati P. Raju:
Parallel Computation of Finite Element Navier-Stokes codes using MUMPS Solver. - Sanjay Silakari, Mahesh Motwani, Manish Maheshwari:
Color Image Clustering using Block Truncation Algorithm.