default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2011
- Robert E. Kent:
Semantic Integration in the IFF. - Stylianos P. Savaidis, Nikolaos I. Miridakis:
Statistical Model of Downlink Power Consumption in Cellular CDMA Networks. - Abbas Asosheh, Nafiseh Karimi, Hourieh Khodkari:
Provide a Model for Handover Technology in Wireless Networks. - Shibamouli Lahiri, Xiaofei Lu:
Inter-rater Agreement on Sentence Formality. - Sheikh Shanawaz Mostafa, Md. Mahbub Hossain
, Khondker Jahid Reza, Gazi Maniur Rashid:
A Radio Based Intelligent Railway Grade Crossing System to Avoid Collision. - Chaiwat Jassadapakorn, Prabhas Chongstitvatana:
Self-Adaptation Mechanism to Control the Diversity of the Population in Genetic Algorithm. - (Withdrawn) Comments on "Stack-based Algorithms for Pattern Matching on DAGs".
- Arup Kumar Pal, Anup Sar:
An Efficient Codebook Initialization Approach for LBG Algorithm. - Nicolas Le Roux, Francis R. Bach:
Local Component Analysis. - Heba Afify, Muhammad Islam, Manal Abdel Wahed:
DNA Lossless Differential Compression Algorithm based on Similarity of Genomic Sequence Database. - Xun Gong, Negar Kiyavash, Nabil Schear, Nikita Borisov:
Website Detection Using Remote Traffic Analysis. - Michael Gall, Thomas Grechenig, Mogens Bjerre:
Assessing the Feasibility of Developing a Federated ERP System. - Prateek Jain, Pravesh Kothari, Abhradeep Thakurta:
Differentially Private Online Learning. - Martin Gebser, Roland Kaminski, Torsten Schaub:
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. 12-25 - Gerhard Friedrich, Anna Ryabokon, Andreas A. Falkner, Alois Haselböck, Gottfried Schenner, Herwig Schreiner:
(Re)configuration based on model generation. 26-35 - Markus Aschinger, Conrad Drescher, Georg Gottlob:
Introducing LoCo, a Logic for Configuration Problems. 36-45 - Sheng-Gwo Chen, Jyh-Yang Wu:
Discrete Conservation Law on Curved Surfaces. - Sushma Yalamanchili, M. Kameswara Rao:
A Framework for Devanagari Script-based Captcha. - Andrey V. Makarenko, A. V. Pravdivtsev:
Architectural solutions of conformal network-centric staring-sensor systems with spherical field of view. - Atef Boujelben, Hedi Tmar, Jameleddine Mnif, Mohamed Abid:
Automatic Application Level Set Approach in Detection Calcifications in Mammographic Image. - Bahram Amini, Roliana Ibrahim, Mohd Shahizan Othman:
Discovering the Impact of Knowledge in Recommender Systems: A Comparative Study. - Jürgen Umbrich, Aidan Hogan, Axel Polleres:
Improving the recall of decentralised linked data querying through implicit knowledge. - Wei Chen, Wei Lin, Shizhen Huang:
A Novel VSWR-Protected and Controllable CMOS Class E Power Amplifier for Bluetooth Applications. - Carlos Gershenson:
Complexity. - Asadollah Shahbahrami, Ramin Bahrampour, Mobin Sabbaghi Rostami, Mostafa Ayoubi Mobarhan:
Evaluation of Huffman and Arithmetic Algorithms for Multimedia Compression Standards. - Umer Farooq, M. Aqeel Iqbal, Usman Shabbir, Sohail Nazir:
Critical Aspects of Modern Open Source SoftwareTechnology to Support Emerging Demands. - Partha Pratim Bhattacharya, Ronak Khandelwal, Rishita Gera, Anjali Agarwal:
Smart Radio Spectrum Management for Cognitive Radio. - Dimitris S. Papailiopoulos, Jianqiang Luo, Alexandros G. Dimakis, Cheng Huang, Jin Li:
Simple Regenerating Codes: Network Coding for Cloud Storage. - Michael T. Goodrich, Joseph A. Simons:
Fully Retroactive Approximate Range and Nearest Neighbor Searching. - William Mantzel, Justin K. Romberg, Karim Sabra:
Compressive Matched-Field Processing. - Olivier Danvy, Chung-chieh Shan:
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011. EPTCS 66, 2011 [contents] - Lamia Yessad, Zizette Boufaïda:
A qos ontology-based component selection. - Robert E. Kent:
A KIF Formalization for the IFF Category Theory Ontology. - Jianqin Zhou:
On discrete cosine transform. - Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Maarten Löffler:
Planar and Poly-Arc Lombardi Drawings. - Tsachy Weissman, Young-Han Kim, Haim H. Permuter:
Directed Information, Causal Estimation, and Communication in Continuous Time. - T. R. Srinath, Mahendra Pratap Singh, Alwyn Roshan Pais:
Anonymity and verifiability in multi-attribute reverse auction. - Ján Sefránek, Alexander Simko:
Warranted Derivations of Preferred Answer. - Athanasios K. Tsakalidis, Kostas Tsichlas:
A Space-Optimal Hidden Surface Removal Algorithm for Iso-Oriented Rectangles. - Thierry Dumont:
Context Tree Estimation in Variable Length Hidden Markov Models. - Moreno Marzolla, Stefano Ferretti, Gabriele D'Angelo:
Auction-Based Resource Allocation in Digital Ecosystems. - Ram Zamir:
Anti-Structure Problems. - Yizhao Ni, Matt McVicar, Raúl Santos-Rodriguez, Tijl De Bie:
Meta-song evaluation for chord recognition. - Said Leghmizi, Sheng Liu:
A survey of fuzzy control for stabilized platforms. - Roberto Di Cosmo, Olivier Lhomme, Claude Michel:
Aligning component upgrades. 1-11 - Adam Barth, Saung Li, Benjamin I. P. Rubinstein, Dawn Song:
How Open Should Open Source Be? - Margareta Ackerman, David Loker, Alejandro López-Ortiz:
Orthogonal Query Expansion. - Jan Verschelde, Genady Yoffe:
Quality Up in Polynomial Homotopy Continuation by Multithreaded Path Tracking. - Mehrnoush Malekesmaeili, Cédric Chauve, Tamon Stephen:
A tight bound on the length of odd cycles in the incompatibility graph of a non-C1P matrix. - Emmanuel J. Candès, Yonina C. Eldar, Thomas Strohmer, Vladislav Voroninski:
Phase Retrieval via Matrix Completion. - Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska:
Solving Modular Model Expansion Tasks. - Prateek Mittal, Ahmed Khurshid, Joshua Juen, Matthew Caesar, Nikita Borisov:
Stealthy Traffic Analysis of Low-Latency Anonymous Communication Using Throughput Fingerprinting. - Sergey Kornienko, Olga Kornienko, Paul Levi:
Application of distributed constraint satisfaction problem to the agent-based planning in manufacturing systems. - Liang Li, Pinyan Lu, Yitong Yin:
Approximate Counting via Correlation Decay in Spin Systems. - G. Koteswara Rao, Roshan Kumar:
Framework to Integrate Business Intelligence and Knowledge Management in Banking Industry. - Josef Urban, Piotr Rudnicki, Geoff Sutcliffe:
ATP and Presentation Service for Mizar Formalizations. - C. Komalavalli, Chetna Laroiya:
Metadata Challenge for Query Processing Over Heterogeneous Wireless Sensor Network. - Krzysztof Kluza, Grzegorz J. Nalepa, Lukasz Lysik:
Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal. - Marwa Graja, Maher Jaoua, Lamia Hadrich Belguith:
Building Ontologies to Understand Spoken Tunisian Dialect. - Baocheng Wang, Chunming Tang, Yanfeng Qi, Yixian Yang, Maozhi Xu:
The Weight Distributions of Cyclic Codes and Elliptic Curves. - Rosemberg Silva, Antonio Campello, Ricardo Dahab:
LWE-based Identification Schemes. - Jesse Alama:
Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission. - Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine:
Translating Nondeterministic Functional Language based on Attribute Grammars into Java. - Jaydeep P. Bardhan, Matthew G. Knepley:
Mathematical Analysis of the BIBEE Approximation for Molecular Solvation: Exact Results for Spherical Inclusions. - Albert Fannjiang, Wenjing Liao:
Mismatch and resolution in compressive imaging. - Rama Murthy Garimella, Samdarshi Abhijeet, Deepti Singhal:
Doubly Optimal Secure Multicasting: Hierarchical Hybrid Communication Network : Disaster Relief. - Prodromos Tsiavos, Petros S. Stefaneas:
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach. - Gan Zheng, Symeon Chatzinotas, Björn E. Ottersten:
Generic Optimization of Linear Precoding in Multibeam Satellite Systems. - Jia Xu, Yong Yao:
A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm. - Ashwin Ganesan:
On some sufficient conditions for distributed QoS support in wireless networks. - Sandeep Pratap Singh, Shiv Shankar Prasad Shukla, Nitin Rakesh, Vipin Tyagi:
Problem Reduction in Online Payment System Using Hybrid Model. - Joffrey Villard, Pablo Piantanida, Shlomo Shamai:
Hybrid Digital/Analog Schemes for Secure Transmission with Side Information. - Han-Xin Yang, Wen-Xu Wang, Zhi-Xi Wu, Bing-Hong Wang:
Traffic dynamics in scale-free networks with limited packet-delivering capacity. - Annmol Cherian, Ajay Augustine, Jemy Jose, Vinod Pangracious:
A Novel Methodology for Thermal Analysis & 3-Dimensional Memory Integration. - Chuan Huang, Rui Zhang, Shuguang Cui:
Throughput Maximization for the Gaussian Relay Channel with Energy Harvesting Constraints. - Feiyu Lin, Andrew Krizhanovsky:
Multilingual ontology matching based on Wiktionary data accessible via SPARQL endpoint. - Hideaki Kimura, Vivek R. Narasayya, Manoj Syamala:
Compression Aware Physical Database Design. - Robert Louis Cloud:
Problems in Modern High Performance Parallel I/O Systems. - Jing Zhang, Huaxi Gu, Yintang Yang:
An improved distributed routing algorithm for Benes based optical NoC. - Kinjal Shah, Gagan Dua, Dharmendar Sharma, Priyanka Mishra, Nitin Rakesh:
Transmission of Successful Route Error Message(RERR) in Routing Aware Multiple Description Video Coding over Mobile Ad-Hoc Network. - Peibo Xie, Huaxi Gu:
Intelligent Bees for QoS Routing in Networks-on-Chip. - Mao Ye, Xingjie Liu, Wang-Chien Lee:
Exploring Social Influence for Recommendation - A Probabilistic Generative Model Approach. - Nan Ni:
Tunable Dual-band IFA Antenna using LC Resonators. - Qian Wang, Kaihe Xu, Kui Ren:
Cooperative Secret Key Generation from Phase Estimation in Narrowband Fading Channels. - Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-Based Programming in Haskell. 1-23 - Azer Bestavros, Assaf J. Kfoury:
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report). 24-47 - Lucas Beyak, Jacques Carette:
SAGA: A DSL for Story Management. 48-67 - Dominic A. Orchard, Alan Mycroft:
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. 68-92 - Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun:
Building-Blocks for Performance Oriented DSLs. 93-117 - Basile Starynkevitch:
MELT - a Translated Domain Specific Language Embedded in the GCC Compiler. 118-142 - Eric Walkingshaw, Martin Erwig:
A DSEL for Studying and Explaining Causation. 143-167 - William R. Cook, Ralf Lämmel:
Tutorial on Online Partial Evaluation. 168-180 - Jeremy Gibbons:
Maximum Segment Sum, Monadically (distilled tutorial). 181-194 - Jerzy Karczmarczuk:
Specific "scientific" data structures, and their processing. 195-209 - Oleg Kiselyov:
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs. 210-225 - Keiko Nakata:
Resumption-based big-step and small-step interpreters for While with interactive I/O. 226-235 - Walid Taha, Verónica Gaspes, Rex L. Page:
Accurate Programming: Thinking about programs in terms of properties. 236-260 - Adrian Sai-Wah Tam, Kang Xi, H. Jonathan Chao:
Trimming the Multipath for Efficient Dynamic Routing. - Song-Nam Hong, Giuseppe Caire:
Quantized Compute and Forward: A Low-Complexity Architecture for Distributed Antenna Systems. - Reinhard Heckel, Steffen Schober, Martin Bossert:
Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations. - Shai Shalev-Shwartz, Yonatan Wexler, Amnon Shashua:
ShareBoost: Efficient Multiclass Learning with Feature Sharing. - Enrico Formenti, Van Trung Pham, Ha Duong Phan, Tran Thi Thu Huong:
Fixed point forms of the parallel symmetric sandpile model. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
A Trellis Coded Modulation Scheme for the Fading Relay Channel. - Chengwen Xing, Minghua Xia, Feifei Gao, Yik-Chung Wu:
Robust Transceiver with Tomlinson-Harashima Precoding for Amplify-and-Forward MIMO Relaying Systems. - Xiaowei Zhou, Can Yang, Weichuan Yu:
Moving Object Detection by Detecting Contiguous Outliers in the Low-Rank Representation. - Anis Charrada, Abdelaziz Samet:
Nonlinear Channel Estimation for OFDM System by Complex LS-SVM under High Mobility Conditions. - Marco Baldi, Marco Bianchi, Franco Chiaraluce:
Increasing Physical Layer Security through Scrambled Codes and ARQ. - Daniele Mundici, Claudia Picardi:
Drawing Sound Conclusions from Unsound Premises. - Dirk Lewandowski, Ulrike Spree:
Ranking of Wikipedia articles in search engines revisited: Fair ranking for reasonable quality? - Matthias Bechmann, Angelika Sebald, Susan Stepney:
Boolean logic gate design principles in unconventional computers: an NMR case study. - Benjamin G. Kelly, Aaron B. Wagner:
Reliability in Source Coding with Side Information. - Md. Monzur Morshed, Meftah Ur Rahman, Md. Rafiqul Islam:
An Empirical Study on variants of TCP over AODV routing protocol in MANET. - Manoj Kumar:
Impact of the Evolution of Smart Phones in Education Technology and its Application in Technical and Professional Studies: Indian Perspective. - Attila Pereszlényi:
On quantum interactive proofs with short messages. - Prateek Mittal, Matthew Caesar, Nikita Borisov:
X-Vine: Secure and Pseudonymous Routing Using Social Networks. - Robert E. Kent:
The Information Flow Framework: New architecture. - Lingjie Duan, Alexander W. Min, Jianwei Huang, Kang G. Shin:
Attack Prevention for Collaborative Spectrum Sensing in Cognitive Radio Networks. - Ronald M. Caplan, Ricardo Carretero-González:
A Two-Step High-Order Compact Scheme for the Laplacian Operator and its Implementation in an Explicit Method for Integrating the Nonlinear Schrödinger Equation. - Emanuele Coviello, Antoni B. Chan, Gert R. G. Lanckriet:
Tech Report A Variational HEM Algorithm for Clustering Hidden Markov Models. - Jianquan Liu, Meixia Tao, Youyun Xu:
Joint Network Coding and Opportunistic Transmission for Two-Way Relay Fading Channels. - Ion Petre, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents] - Weiliang Zeng, Chengshan Xiao, Mingxi Wang, Jianhua Lu:
On the Linear Precoder Design for MIMO Channels with Finite-Alphabet Inputs and Statistical CSI. - Shaddin Dughmi, Tim Roughgarden, Jan Vondrák, Qiqi Yan:
An approximately truthful-in-expectation mechanism for combinatorial auctions using value queries. - Shaddin Dughmi, Jan Vondrák:
Limitations of randomized mechanisms for combinatorial auctions. - Risheng Liu, Zhouchen Lin, Wei Zhang, Kewei Tang, Zhixun Su:
Toward Designing Intelligent PDEs for Computer Vision: An Optimal Control Approach. - Seok-Ho Yoon, Sang-Wook Kim, Sunju Park:
C-Rank: A Link-based Similarity Measure for Scientific Literature Databases. - G. Victo Sudha George, Velankanni Cyril Raj:
Review on Feature Selection Techniques and the Impact of SVM for Cancer Classification using Gene Expression Profile. - Seok-Ho Yoon, Ki-Nam Kim, Sang-Wook Kim, Sunju Park:
A Community-Based Sampling Method Using DPL for Online Social Network. - A. Padma, R. Sukanesh:
Automatic Diagnosis of Abnormal Tumor Region from Brain Computed Tomography Images Using Wavelet Based Statistical Texture Features. - K. Karteeka Pavan, Allam Appa Rao, A. V. Dattatreya Rao:
An Automatic Clustering Technique for Optimal Clusters. - Martin Aruldoss, Na. Ba. Anutthamaa, M. Sathyavathy, Marie Manjari Saint Francois, V. Prasanna Venkatesan:
A Framework for Predicting Phishing Websites using Neural Networks. - Martin Aruldoss, M. Manjula, V. Prasanna Venkatesan:
A Business Intelligence Model to Predict Bankruptcy using Financial Domain Ontology with Association Rule Mining Algorithm. - Martin Aruldoss, D. Maladhy, V. Prasanna Venkatesan:
A Framework for Business Intelligence Application using Ontological Classification. - Martin Aruldoss, T. Miranda Lakshmi, J. Madhusudanan:
Multi Agent Communication System for Online Auction with Decision Support System by JADE and TRACE.