


default search action
CoRR, October 2012
- Guangming Lang, Qingguo Li:
An algorithm for constructing the homomorphism between fuzzy relation information systems. - Denis S. Krotov:
A partition of the hypercube into cosets of maximally nonparallel Hamming codes. - Artiom Kovnatsky, Michael M. Bronstein, Alexander M. Bronstein, Klaus Glashoff, Ron Kimmel:
Coupled quasi-harmonic bases. - Parikshit Gopalan, Raghu Meka, Omer Reingold, Luca Trevisan, Salil P. Vadhan:
Better Pseudorandom Generators from Milder Pseudorandom Restrictions. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Dimensionality Reduction and Classification feature using Mutual Information applied to Hyperspectral Images : A Filter strategy based algorithm. - Sander Wozniak, Michael Rossberg, Franz Girlich, Guenter Schaefer:
Geocast into the Past: Towards a Privacy-Preserving Spatiotemporal Multicast for Cellular Networks. - (Withdrawn) Granular association rule mining through parametric rough sets for cold start recommendation.
- Jing Zhang:
A Literature Survey of Cooperative Caching in Content Distribution Networks. - Aiping Huang, William Zhu:
Topological characterizations to three types of covering approximation operators. - Aiping Huang, William Zhu:
Geometric lattice structure of covering-based rough sets through matroids. - Peter Sunehag, Marcus Hutter:
Optimistic Agents are Asymptotically Optimal. - Hajime Matsui:
Decoding a Class of Affine Variety Codes with Fast DFT. - Hamed Pezeshki, Xiangyun Zhou, Behrouz Maham:
Jamming Energy Allocation in Training-Based Multiple Access Systems. - (Withdrawn) Test-cost-sensitive attribute reduction of data with normal distribution measurement errors.
- Imran Shafique Ansari
, Ferkan Yilmaz, Mohamed-Slim Alouini
:
On the Sum of Squared η-μRandom Variates With Application to the Performance of Wireless Communication Systems. - (Withdrawn) Demosaicing and Superresolution for Color Filter Array via Residual Image Reconstruction and Sparse Representation.
- Jürgen Schmidhuber:
Self-Delimiting Neural Networks. - Till Hoffmann, Renaud Lambiotte, Mason A. Porter:
Decentralized Routing on Spatial Networks with Stochastic Edge Weights. - Vincent D. Blondel, Markus Esch, Connie Chan, Fabrice Clérot, Pierre Deville, Etienne Huens, Frédéric Morlot, Zbigniew Smoreda, Cezary Ziemlicki:
Data for Development: the D4D Challenge on Mobile Phone Data. - Jiadong Wang, Guiqiang Dong, Thomas A. Courtade, Hari Shankar, Tong Zhang, Richard D. Wesel:
LDPC Decoding with Limited-Precision Soft Information in Flash Memories. - Yu-Wei Chu, Chih-Hua Tai, Ming-Syan Chen, Philip S. Yu:
Implementation of Privacy-preserving SimRank over Distributed Information Network. - Mohammed Y. Aalsalem, Wazir Zada Khan, Quratul-Ain Arshad:
A Low Cost Vision Based Hybrid Fiducial Mark Tracking Technique for Mobile Industrial Robots. - Avishay Maya, Noam Nisan:
Incentive Compatible Two Player Cake Cutting. - Song-Nam Hong, Giuseppe Caire:
Lattice Coding Strategies for Cooperative Distributed Antenna Systems. - A. A. Waskita, Heru Suhartanto, Zaenal Akbar, Laksana Tri Handoko:
Exhaustive Search-based Model for Hybrid Sensor Network. - Rohini S. Hallikar, Uttara Kumari, K. Padmaraju:
A novel method for obtaining a better quality speech signal for cochlear Implants using kalman with drnl and ssb technique. - Sandeep Gupta:
External Memory based Distributed Generation of Massive Scale Social Networks on Small Clusters. - Ning Chen, Xiaotie Deng, Paul W. Goldberg, Jinshan Zhang:
On Revenue Maximization with Sharp Multi-Unit Demands. - Sanjay Singh, M. Sathish Kumar, H. S. Mruthyunjaya:
A New Generalized Closed Form Expression for Average Bit Error Probability Over Rayleigh Fading Channel. - Xujin Chen, Benjamin Doerr, Xiaodong Hu, Weidong Ma, Rob van Stee, Carola Winzen:
The Price of Anarchy for Selfish Ring Routing is Two. - (Withdrawn) A Linguistic Model for Terminology Extraction based Conditional Random Fields.
- Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Dimitrios M. Thilikos:
Linear kernels for (connected) dominating set on graphs with excluded topological subgraphs. - Mark Jones, Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Ondrej Suchý:
Parameterized Complexity of Directed Steiner Tree on Sparse Graphs. - Christopher Griffin, Douglas Mercer, James Fan, Anna Cinzia Squicciarini:
Two Species Evolutionary Game Model of User and Moderator Dynamics. - Roy Timo, Gottfried Lechner, Lawrence Ong, Sarah J. Johnson:
Multi-Way Relay Networks: Orthogonal Uplink, Source-Channel Separation and Code Design. - Balasubramanian Sivan, Vasilis Syrgkanis, Omer Tamuz:
Lower Bounds on Revenue of Approximately Optimal Auctions. - Vasileios Ntranos, Viveck R. Cadambe, Bobak Nazer, Giuseppe Caire:
Feedback Interference Alignment: Exact Alignment for Three Users in Two Time Slots. - Md. Sahidullah, Goutam Saha:
Comparison of Speech Activity Detection Techniques for Speaker Recognition. - Jürgen Bokowski, Vincent Pilaud:
Enumerating topological $(n_k)$-configurations. - Rahele Kafieh, Hossein Rabbani, Michael D. Abràmoff, Milan Sonka:
Intra-Retinal Layer Segmentation of 3D Optical Coherence Tomography Using Coarse Grained Diffusion Map. - Andrzej Lingas, Mia Persson:
A fast parallel algorithm for minimum-cost small integral flows. - D. Sasirekha, E. Chandra:
Enhanced Techniques for PDF Image Segmentation and Text Extraction. - Daniel Trivellato, Nicola Zannone, Sandro Etalle:
GEM: a Distributed Goal Evaluation Algorithm for Trust Management. - Thomas Philip Runarsson, Marc Schoenauer, Michèle Sebag:
Pilot, Rollout and Monte Carlo Tree Search Methods for Job Shop Scheduling. - Junlin Hu, Ping Guo:
Combined Descriptors in Spatial Pyramid Domain for Image Classification. - Arpit Sharma:
A Two Step Perspective for Kripke Structure Reduction. - Manuel Bodirsky
, Peter Jonsson, Timo von Oertzen
:
Essential Convexity and Complexity of Semi-Algebraic Constraints. - Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig:
Multi-Agent Programming Contest 2012 - The Python-DTU Team. - Nees Jan van Eck, Ludo Waltman, Anthony F. J. van Raan, Robert J. M. Klautz, Wilco C. Peul:
Citation analysis may severely underestimate the impact of clinical research as compared to basic research. - Audrey Lee-St. John, Jessica Sidman:
Combinatorics and the Rigidity of CAD Systems. - Maciej Kurant, Carter T. Butts, Athina Markopoulou:
Graph Size Estimation. - Andrea Campagna, Konstantin Kutzkov, Rasmus Pagh:
On Parallelizing Matrix Multiplication by the Column-Row Method. - Giovanni Cavallanti, Nicolò Cesa-Bianchi:
Memory Constraint Online Multitask Classification. - Peter Sanders, Christian Schulz:
Think Locally, Act Globally: Perfectly Balanced Graph Partitioning. - Todd L. Veldhuizen:
Leapfrog Triejoin: a worst-case optimal join algorithm. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Physical Layer Network Coding for the Multiple Access Relay Channel. - Rustem Takhanov, Vladimir Kolmogorov:
Inference algorithms for pattern-based CRFs on sequence data. - Tayeb Lemlouma, Yoann Lefebvre, Frédéric Cespedes:
PCNM: A New Platform for Cellular Networks Measurements and Optimization. - Tayeb Lemlouma, Julien Luciana, Bastien Oza, Leandro Sierra, Mikaël Salaün:
An Easy Cellular Gateway for Providing Shared Services and Data. - Walid Abediseid, Mohamed-Slim Alouini
:
On Lattice Sequential Decoding for The Unconstrained AWGN Channel. - Elkebir Sarhrouni, Ahmed Hammouch, Driss Aboutajdine:
Band Selection and Classification. - Dhavide A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark D. Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson:
Best Practices for Scientific Computing. - (Withdrawn) Performance of Multi-Antenna Linear MMSE Receivers in Non-homogeneous Poisson and Poisson Cluster Networks.
- Tao Hu, Dmitri B. Chklovskii:
Sparse LMS via Online Linearized Bregman Iteration. - Tao Hu, Juan Nunez-Iglesias, Shiv Naga Prasad Vitaladevuni, Lou Scheffer, Shan Xu, Mehdi Bolorizadeh, Harald F. Hess, Richard Fetter, Dmitri B. Chklovskii:
Super-resolution using Sparse Representations over Learned Dictionaries: Reconstruction of Brain Structure using Electron Microscopy. - Ozgun Y. Bursalioglu, Giuseppe Caire, Dariush Divsalar:
Joint Source-Channel Coding for Deep-Space Image Transmission using Rateless Codes. - Lars Kuhtz, Bernd Finkbeiner:
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. - Jaswinder Singh Dilawari, Gurpreet Singh Sandhu:
A Review Paper on Microprocessor Based Controller Programming. - Harbir Antil, Scott E. Field, Frank Herrmann, Ricardo H. Nochetto, Manuel Tiglio:
Two-step greedy algorithm for reduced order quadratures. - Amir H. Asiaee, Prashant Doshi, Todd Minning, Satya Sanket Sahoo, Priti Parikh, Amit P. Sheth, Rick L. Tarleton:
From Questions to Effective Answers: On the Utility of Knowledge-Driven Querying Systems for Life Sciences Data. - Victor Milenkovic, Elisha Sacks, Steven Trac:
Planar shape manipulation using approximate geometric primitives. - John V. Corbett:
A Topos Theory Foundation for Quantum Mechanics. 37-53 - Ugo Dal Lago, Claudia Faggian:
On Multiplicative Linear Logic, Modality and Quantum Circuits. 55-66 - Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor:
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus. 67-80 - Bertfried Fauser, Guillaume Raynaud, Steven Vickers:
The Born rule as structure of spectral bundles (extended abstract). 81-90 - Chris Heunen, Sergio Boixo:
Completely positive classical structures and sequentializable quantum protocols. 91-101 - Kentaro Honda:
Graphical Classification of Entangled Qutrits. 123-141 - Peter Janotta:
Generalizations of Boxworld. 183-192 - Joost Nuiten:
Bohrification of local nets. 211-218 - Robert Raussendorf, Pradeep Kiran Sarvepalli, Tzu-Chieh Wei, Poya Haghnegahdar:
Symmetry constraints on temporal order in measurement-based quantum computation. 219-250 - Susan Stepney, Viv Kendon
, Peter Hines, Angelika Sebald:
A Framework for Heterotic Computing. 263-273 - Lexing Xie, Apostol Natsev, Xuming He, John R. Kender, Matthew L. Hill, John R. Smith:
Tracking Large-Scale Video Remix in Real-World Events. - Yingzhen Yang, Xinqi Chu, Thomas S. Huang:
Generalization Analysis for Classification. - Tien Tuan Anh Dinh, Anwitaman Datta
:
Stream on the Sky: Outsourcing Access Control Enforcement for Stream Data to the Cloud. - Ashish Goel, David Lee:
Triadic Consensus: A Randomized Algorithm for Voting in a Crowd. - Cedomir Stefanovic, Kasper F. Trillingsgaard, Nuno K. Pratas, Petar Popovski:
Joint Estimation and Contention-Resolution Protocol for Wireless Random Access. - Xavier Bresson, Ruiliang Zhang:
TV-SVM: Total Variation Support Vector Machine for Semi-Supervised Data Classification. - Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra:
I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs. - Mohamed Khalil El Mahrsi, Fabrice Rossi:
Graph-Based Approaches to Clustering Network-Constrained Trajectory Data. - Yanfang Liu, William Zhu:
Relationship between the second type of covering-based rough set and matroid via closure operator. - Nahla Jlaiel, Khouloud Madhbouh, Mohamed Ben Ahmed:
A Semantic Approach for Automatic Structuring and Analysis of Software Process Patterns. - Jan Verschelde, Genady Yoffe:
Orthogononalization on a general purpose graphics processing unit with double double and quad double arithmetic. - Harbi AlMahafzah, Mohammad Imran, H. S. Sheshadri:
Multibiometric: Feature Level Fusion Using FKP Multi-Instance biometric. - Zoltán Szabó, András Lörincz:
Distributed High Dimensional Information Theoretical Image Registration via Random Projections. - Joachim Kock:
Data types with symmetries and polynomial functors over groupoids. - Harbi AlMahafzah, Maen Zaid AlRwashdeh:
A Survey of Multibiometric Systems. - Son Doan, Lucila Ohno-Machado, Nigel Collier:
Enhancing Twitter Data Analysis with Simple Semantic Filtering: Example in Tracking Influenza-Like Illnesses. - Winfried Gödert:
Detecting multiword phrases in mathematical text corpora. - Siu On Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun:
Learning mixtures of structured distributions over discrete domains. - Aaron Adcock, Daniel L. Rubin, Gunnar E. Carlsson:
Classification of Hepatic Lesions using the Matching Metric. - José A. Iglesias, Ron Kimmel:
Schrödinger Diffusion for Shape Analysis with Texture. - Dimiter Dobrev
:
The Definition of AI in Terms of Multi Agent Systems. - Anirudha Majumdar, Amir Ali Ahmadi, Russ Tedrake:
Control Design along Trajectories with Sums of Squares Programming. - George C. Alexandropoulos, Constantinos B. Papadias:
An Interference-Adjustable Distributed Algorithm for K-user MIMO Interference Networks. - Domenico Ciuonzo, Gianmarco Romano, Pierluigi Salvo Rossi:
Optimality of Received Energy in Decision Fusion over Rayleigh Fading Diversity MAC with Non-Identical Sensors. - Guo-Jun Qi, Charu C. Aggarwal, Pierre Moulin, Thomas S. Huang:
Learning from Collective Intelligence in Groups. - Zhenxin Feng, Kwan-Wu Chin:
A Survey of Delay Tolerant Networks Routing Protocols. - Thomas Palfray, David Hebert, Stéphane Nicolas, Pierrick Tranouez, Thierry Paquet:
Logical segmentation for article extraction in digitized old newspapers. - Tao Wang, Luc Vandendorpe:
On the SCALE Algorithm for Multiuser Multicarrier Power Spectrum Management. - Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son:
Performance Constraint and Power-Aware Allocation For User Requests In Virtual Computing Lab. - Guangling Sun, Guoqing Li, Jie Yin:
Blurred Image Classification based on Adaptive Dictionary. - Guangling Sun, Guoqing Li, Xinpeng Zhang:
Robust Degraded Face Recognition Using Enhanced Local Frequency Descriptor and Multi-scale Competition. - Huasen Wu, Youguang Zhang, Xin Liu:
Laxity-Based Opportunistic Scheduling with Flow-Level Dynamics and Deadlines. - Julien Ponge, Frédéric Le Mouël:
JooFlux: Hijacking Java 7 InvokeDynamic To Support Live Code Modifications. - Sharon Christa, K. Lakshmi Madhuri, V. Suma:
A Comparative Analysis of Data Mining Tools in Agent Based Systems. - Vincent Y. F. Tan:
The Capacity of the General Gel'fand-Pinsker Channel and Achievable Second-Order Coding Rates. - Yun Shang, Xian Lu, Ruqian Lu:
Turing machines based on unsharp quantum logic. 251-261 - Harald Zankl:
Confluence by Decreasing Diagrams -- Formalized. - Arturo Ribes, Jesús Cerquides, Yiannis Demiris, Ramón López de Mántaras:
Sensory Anticipation of Optical Flow in Mobile Robotics. - Pengfei Huang, Xudong Wang:
Cross-layer Scheduling in Multi-user System with Delay and Secrecy Constraints. - James W. Hanlon, Simon J. Hollis, David May:
Scalable data abstractions for distributed parallel computations. - James W. Hanlon, Simon J. Hollis, David May:
Emulating a large memory sequential machine with a collection of small memory ones. - Efi Papatheocharous, Harris Papadopoulos, Andreas S. Andreou:
Feature Subset Selection for Software Cost Modelling and Estimation. - Abdel-Hameed A. Badawy:
Students Perceptions of the Effectiveness of Discussion Boards What can we get from our students for a freebie point. - Bacem Wali, Bernard Gibaud:
Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper. - Christopher L. Simons, Ian C. Parmee:
Elegant Object-oriented Software Design via Interactive, Evolutionary Computation. - Bita Azimdoost, Cédric Westphal, Hamid R. Sadjadpour:
On the Throughput Capacity of Information-Centric Networks. - Sukhpal Singh:
Reduction of Blocking Artifacts In JPEG Compressed Image. - Bernhard Haeupler:
Simple, Fast and Deterministic Gossip and Rumor Spreading. - Marc Bezem, Keiko Nakata, Tarmo Uustalu
:
On streams that are finitely red. - Hema Swetha Koppula, Rudhir Gupta, Ashutosh Saxena:
Learning Human Activities and Object Affordances from RGB-D Videos. - Abdel-Hameed A. Badawy, Michelle M. Hugue:
Evaluating Discussion Boards on BlackBoard as a Collaborative Learning Tool A Students Survey and Reflections. - Mariya Ishteva, Haesun Park, Le Song:
Unfolding Latent Tree Structures using 4th Order Tensors. - Charalambos D. Charalambous, Photios A. Stavrou, Nasir Uddin Ahmed:
Nonanticipative Rate Distortion Function and Relations to Filtering Theory. - Daniel M. Kane:
A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length. - Raghavi K. Bhujang, Suma V.:
Graphical Visualization of Risk Assessment for Effective Risk Management during Software Development Process. - Ahmed Mehedi Nizam, Md. Nasim Adnan, Md. Rashedul Islam, Mohammad Akbar Kabir:
Properties of Stochastic Kronecker Graph. - Xi Peng, Lei Zhang, Zhang Yi, Kok Kiong Tan:
Learning Locality-Constrained Collaborative Representation for Face Recognition. - Phong Nguyen, Jun Wang, Melanie Hilario, Alexandros Kalousis:
Learning Heterogeneous Similarity Measures for Hybrid-Recommendations in Meta-Mining. - Mohammad Hamed Firooz, Zhiyong Chen, Sumit Roy, Hui Liu:
Wireless Network Coding via Modified 802.11 MAC/PHY: Design and Implementation on SDR. - Jun Qin, Hongrun Wu, Xiaonian Tong, Bojin Zheng:
A quantitative method for determining the robustness of complex networks. - Arkadiusz Biernacki:
Methods of QoS improvement for P2P IPTV based on traffic modelling. - Doris Schiöberg, Fabian Schneider, Gilles Trédan, Steve Uhlig, Anja Feldmann:
Revisiting Content Availability in Distributed Online Social Networks. - Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. - Bruno Grenet
, Pascal Koiran, Natacha Portier:
On the Complexity of the Multivariate Resultant. - Gagan Goel, Vahab S. Mirrokni, Renato Paes Leme:
Clinching Auctions with Online Supply. - Shusen Wang, Zhihua Zhang, Jian Li:
A Scalable CUR Matrix Decomposition Algorithm: Lower Time Complexity and Tighter Bound. - Adriano Pastore, Michael Joham, Javier Rodríguez Fonollosa:
A Framework for Joint Design of Pilot Sequence and Linear Precoder. - Frank van Harmelen, George Kampis, Katy Börner, Peter van den Besselaar, Erik A. Schultes, Carole A. Goble, Paul Groth, Barend Mons, Stuart Anderson, Stefan Decker, Conor Hayes, Thierry Buecheler, Dirk Helbing:
Theoretical And Technological Building Blocks For An Innovation Accelerator. - Yang Hong, Changcheng Huang, James Yan:
A Comparative Study of SIP Overload Control Algorithms. - Mingyi Hong, Qiang Li, Ya-Feng Liu, Zhi-Quan Luo:
Decomposition by Successive Convex Approximation: A Unifying Approach for Linear Transceiver Design in Heterogeneous Networks. - Ayad Ghany Ismaeel
:
An Emergency System for Succoring Children using Mobile GIS. - Tao Hu, Alexander Genkin, Dmitri B. Chklovskii:
A network of spiking neurons for computing sparse representations in an energy efficient way. - Curt Schieler, Eva C. Song, Paul Cuff, H. Vincent Poor:
Source-Channel Secrecy with Causal Disclosure. - Dimiter Dobrev
:
A Definition of Artificial Intelligence. - Hector Zenil:
Turing Patterns with Turing Machines: Emergence and Low-level Structure Formation. - Lukasz Swierczewski
:
The Distributed Computing Model Based on The Capabilities of The Internet. - Neng-Fa Zhou, Christian Theil Have:
Efficient Tabling of Structured Data with Enhanced Hash-Consing. - Swarnendu Kar, Pramod K. Varshney:
Controlled Collaboration for Linear Coherent Estimation in Wireless Sensor Networks. - Hengshuai Yao:
Discovering and Leveraging the Most Valuable Links for Ranking. - Jie Fu, Herbert G. Tanner, Jeffrey Heinz, Jane Chandlee, Konstantinos Karydis, Cesar Koirala:
Symbolic Planning and Control Using Game Theory and Grammatical Inference. - Wei Bao, Ben Liang:
On the Insensitivity of User Distribution in Multicell Networks under General Mobility and Session Patterns. - Melissa Duarte, Ashutosh Sabharwal, Vaneet Aggarwal, Rittwik Jana, K. K. Ramakrishnan, Christopher W. Rice, N. K. Shankaranarayanan:
Design and Characterization of a Full-duplex Multi-antenna System for WiFi networks. - Adeyemi R. Ikuesan, Shukor Abd Razak, Nor Amira Nor Azhan:
Identifying critical features for network forensics investigation perspectives. - Paul Ormerod, Bassel Tarbush, R. Alexander Bentley:
Social network markets: the influence of network structure when consumers face decisions over many similar choices. - Adeyemi R. Ikuesan, Norafida Ithnin:
Users Authentication and Privacy control of RFID Card. - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. - Iliano Cervesato:
An Improved Proof-Theoretic Compilation of Logic Programs. - Germán Vidal:
Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. - Jakob Ablinger, Johannes Blümlein, Mark Round, Carsten Schneider
:
Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. - Mohammad H. Al Shayeji, AbdulRahman R. Al-Azmi, AbdulAziz R. Al-Azmi, M. D. Samrajesh:
Analysis and Enhancements of Leader Elections algorithms in Mobile Ad Hoc Networks. - Yaoqing Yang, Keqin Liu, Qing Zhao:
Distributed Flow Scheduling in Unknown Environment. - Ravi Murugesan
:
Promising outcomes of an online course in research writing at a Rwandan university. - Andrew N. Jackson:
Formats over Time: Exploring UK Web History. - Arash Ghorbannia Delavar, Golnoosh Keshani:
Providing an Object Allocation Algorithm in Distributed Databases Using Efficient Factors. - Farbod Kayhan, Guido Montorsi:
Constellation Design for Channels Affected by Phase Noise. - Murphy Junyu Choy, Michelle L. F. Cheong:
Intelligent Search Heuristics for Cost Based Scheduling. - Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Noam Nisan:
The AND-OR game: Equilibrium Characterization (Working Paper). - Farbod Kayhan, Guido Montorsi:
Constellation Design for Transmission over Nonlinear Satellite Channels. - Djamal Belazzougui, Travis Gagie, Gonzalo Navarro:
Better Space Bounds for Parameterized Range Majority and Minority. - Jun Zhu, Ning Chen, Eric P. Xing:
Bayesian Inference with Posterior Regularization and Infinite Latent Support Vector Machines. - A. Emre Cetin:
In-place associative permutation sort. - Michael J. Maher:
Relative Expressiveness of Defeasible Logics. - Azadeh Sheikholeslami, Dennis Goeckel, Hossein Pishro-Nik:
Everlasting Secrecy by Exploiting Non-Idealities of the Eavesdropper's Receiver. - Jasper De Bock, Gert de Cooman:
An efficient algorithm for estimating state sequences in imprecise hidden Markov models. - Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak:
Distributed Deterministic Broadcasting in Wireless Networks under the SINR Model. - Konstantin Makarychev:
Local Search is Better than Random Assignment for Bounded Occurrence Ordering k-CSPs. - Zhiyu Cheng, Natasha Devroye:
On Constant Gaps for the Two-way Gaussian Interference Channel. - Yun Fan, Guanghui Zhang:
Self-dual Permutation Codes of Finite Groups in Semisimple Case. - Yuan Li:
The Limitation of Random Network Coding. - Meftah Ur Rahman:
A comparative study on face recognition techniques and neural network. - Artan Berisha, Behar Baxhaku, Artan Alidema:
A Class of Non Invertible Matrices in GF (2) for Practical One Way Hash Algorithm. - Bernhard Bliem, Michael Morak, Stefan Woltran:
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming. - Chung-Chieh Fang:
Saddle-Node Bifurcation Associated with Parasitic Inductor Resistance in Boost Converters. - Kondwani Magamba, Solomon Kadaleka, Ansley Kasambara:
Variable-length Hill Cipher with MDS Key Matrix. - Chung-Chieh Fang:
Modeling and Instability of Average Current Control. - Dorian Aur:
Reply to Comments on Neuroelectrodynamics: Where are the Real Conceptual Pitfalls? - Sabah Al-Fedaghi:
Diagrammatization of the Transmission Control Protocol. - John Prpic, Prashant Shukla:
The Theory of Crowd Capital. - Zhong-Yuan Zhang:
Semi-Supervised Community Structure Detection in Social Networks Based on Matrix De-noising. - Charalambos D. Charalambous, Photios A. Stavrou:
On the relation of nonanticipative rate distortion function and filtering theory. - Abdul Razaque, Khaled M. Elleithy, Nyembo Salama:
Novel Framework for Mobile Collaborative learning (MCL)to substantiate pedagogical activities. - Wafa Elmannai, Abdul Razaque, Khaled M. Elleithy:
TCP-UB: A New congestion aware transmission control protocolvariant. - Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents] - Abdul Razaque, Khaled M. Elleithy:
Multi-frame Signature-cum Anomaly-based Intrusion Detection Systems (MSAIDS) to Protect Privacy of Users over Mobile Collaborative Learning (MCL). - Clemens Wiltsche, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. - Lukasz Czajka:
Partiality and Recursion in Higher-order Logic. - Miranda Zhang, Rajiv Ranjan, Surya Nepal, Michael Menzel, Armin Haller:
A Declarative Recommender System for Cloud Infrastructure Services Selection. - Mohammud Z. Bocus, Carl P. Dettmann, Justin P. Coon:
An Approximation of the Marcum Q-Function with Application to the Performance Analysis of Communication Systems. - Alain Bernard, Jean-Charles Delplace, Nicolas Perry, Serge Gabriel:
Integration of CAD and rapid manufacturing for sand casting optimisation. - Niek du Preez, Nicolas Perry
, Alexandre Candlot, Alain Bernard, Wilhelm Uys, Louis Louw:
Customised high-value document generation. - Magali Mauchand
, Ali Siadat, Nicolas Perry
, Alain Bernard:
VCS: Value Chains Simulator, a Tool for Value Analysis of Manufacturing Enterprise Processes (A Value-Based Decision Support Tool). - Danko Ilik
:
A formalized type-directed partial evaluator for shift and reset. 86-100 - Alex Alvarado, Alexandre Graell i Amat, Fredrik Brannstrom, Erik Agrell:
On Optimal TCM Encoders. - Oktay Ölmez, Aditya Ramamoorthy:
Repairable Replication-based Storage Systems Using Resolvable Designs. - Saman Ashkiani, Anna Scaglione:
Discrete Dithered Desynchronization. - Flávio du Pin Calmon, Nadia Fawaz:
Privacy Against Statistical Inference. - Guoxin Su, Mingsheng Ying, Chengqi Zhang:
Session Communication and Integration. - Flávio du Pin Calmon, Muriel Médard, Linda M. Zeger, João Barros, Mark M. Christiansen, Ken R. Duffy:
Lists that are smaller than their parts: A coding approach to tunable secrecy. - Ilan Shomorony, Amir Salman Avestimehr:
Degrees of Freedom of Two-Hop Wireless Networks: "Everyone Gets the Entire Cake''. - Ahmad Beirami, Faramarz Fekri:
Network Compression: Memory-Assisted Universal Coding of Sources with Correlated Parameters. - Yafei Tian, Songtao Lu, Chenyang Yang:
Amplitude Space Sharing among the Macro-Cell and Small-Cell Users. - Shams Zawoad, Ragib Hasan:
The Enemy Within: The Emerging Threats to Healthcare from Malicious Mobile Devices. - Matthieu R. Bloch, Laura Luzzi, Jörg Kliewer:
Strong Coordination with Polar Codes. - Peter Welinder, Max Welling, Pietro Perona:
Semisupervised Classifier Evaluation and Recalibration. - (Withdrawn) ET-LDA: Joint Topic Modeling For Aligning, Analyzing and Sensemaking of Public Events and Their Twitter Feeds.
- Arkadiusz Biernacki:
Analysis of the flooding search algorithm with OPNET. - Jia Zeng, Zhi-Qiang Liu, Xiao-Qin Cao:
Online Belief Propagation for Topic Modeling. - Sang-Woon Jeon, Chien-Yi Wang, Michael Gastpar:
Approximate Ergodic Capacity of a Class of Fading 2-user 2-hop Networks. - Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Annotating Answer-Set Programs in LANA? - J. Martin van Zyl, Sean van der Merwe:
An empirical study to order citation statistics between subject fields. - David Stotz, Helmut Bölcskei:
Degrees of Freedom in Vector Interference Channels. - Rustem Takhanov:
Extensions of the Minimum Cost Homomorphism Problem. - Reinhard Heckel, Helmut Bölcskei:
Joint Sparsity with Different Measurement Matrices. - Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell:
Bisimilarity of Probabilistic Pushdown Automata. - Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Miguel Areias, Ricardo Rocha:
Towards Multi-Threaded Local Tabling Using a Common Table Space. - Max Ostrowski, Torsten Schaub:
ASP modulo CSP: The clingcon system. - Annie I. Chen, Asuman E. Ozdaglar:
A Fast Distributed Proximal-Gradient Method. - Rémy Haemmerlé:
Diagrammatic confluence for Constraint Handling Rules. - Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. - Luke Schaeffer:
Ostrowski Numeration and the Local Period of Sturmian Words. - Tamir Hazan, Raquel Urtasun:
Efficient Learning of Structured Predictors in General Graphical Models. - Felix Krahmer, Rachel A. Ward:
Compressive imaging: stable and robust recovery from variable density frequency samples. - Shiva Prasad Kasiviswanathan, Mark Rudelson, Adam D. Smith:
The Power of Linear Reconstruction Attacks. - Yadong Mu, Wei Liu, Shuicheng Yan:
Video De-fencing. - Biao Xu, Ruairí de Fréin, Eric Robson, Mícheál Ó Foghlú:
Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework. - Ali Tajer, H. Vincent Poor:
Quick Search for Rare Events. - M. A. El-Dosuky, Magdi Zakria Rashad, T. T. Hamza, A. H. El-Bassiouny:
Simulated Tom Thumb, the Rule Of Thumb for Autonomous Robots. - Mario Frank, Ben Dong, Adrienne Porter Felt, Dawn Song:
Mining Permission Request Patterns from Android and Facebook Applications (extended author version). - Marta Capiluppi, Roberto Segala
:
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. 1-14 - Chung-Hao Huang, Doron A. Peled, Sven Schewe
, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. 15-28 - Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
:
Interface Simulation Distances. 29-42 - Martin Lange, Étienne Lozes, Manuel Vargas Guzmán
:
Model-Checking Process Equivalences. 43-56 - Stephan Barth, Martin Hofmann:
Learn with SAT to Minimize Büchi Automata. 71-84 - Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. 85-98 - Aleksandar S. Dimovski
:
Symbolic Representation of Algorithmic Game Semantics. 99-112 - Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. 113-126 - Ricardo Almeida
, Sabine Broda
, Nelma Moreira
:
Deciding KAT and Hoare Logic with Derivatives. 127-140 - Daniel Neider, Roman Rabinovich, Martin Zimmermann
:
Down the Borel Hierarchy: Solving Muller Games via Safety Games. 169-182 - Wladimir Fridman, Martin Zimmermann
:
Playing Pushdown Parity Games in a Hurry. 183-196 - Felix Canavoi, Erich Grädel, Roman Rabinovich:
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. 197-209 - Pawel Parys:
Higher-Order Pushdown Systems with Data. 210-223 - Domenico Cantone, Cristiano Longo:
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. 224-237 - Alex Kruckman, Sasha Rubin
, John Sheridan, Ben Zax:
A Myhill-Nerode theorem for automata with advice. 238-246 - Szczepan Hummel:
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones. 247-260 - Zhong-Yuan Zhang, Kai-Di Sun, Si-Qi Wang:
Enhanced Community Structure Detection in Social Networks. - Akshay Soni, Jarvis D. Haupt:
Level Set Estimation from Compressive Measurements using Box Constrained Total Variation Regularization. - Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. 155-168 - Jakub Michaliszyn, Jan Otop
, Piotr Witkowski
:
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics. 141-154 - Amin Emad, Olgica Milenkovic:
Semi-Quantitative Group Testing: a General Paradigm with Applications in Genotyping. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Component Based First-Order Inverting and Non-inverting Outputs of All-Pass Filter at the Same Circuit. - Rakshith Rajashekar, K. V. S. Hari, Lajos Hanzo:
Structured Dispersion Matrices from Space-Time Block Codes for Space-Time Shift Keying. - Sukhpal Singh, Inderveer Chana:
Enabling Reusability in Agile Software Development. - Jitendra Mohan, Sudhanshu Maheshwari, Durg Singh Chauhan:
Minimum Grounded Component Based Voltage-Mode Quadrature Oscillator using DVCC. - Ting Huang, Peijun Zhu, Zengyou He:
Protein Inference and Protein Quantification: Two Sides of the Same Coin. - Mashad Eslamifar, Woon Hau Chin, Chau Yuen, Yong Liang Guan:
Performance Analysis of Two-Step Bi-Directional Relaying with Multiple Antennas. - Jiajia Li, Xiuxia Zhang, Guangming Tan, Mingyu Chen:
SMAT: An Input Adaptive Sparse Matrix-Vector Multiplication Auto-Tuner. - Søren Bøg, Morten Stöckel, Hjalte Wedel Vildhøj:
The Hardness of the Functional Orientation 2-Color Problem. - Loris Marchal, Oliver Sinnen, Frédéric Vivien:
Scheduling tree-shaped task graphs to minimize memory and makespan. - Adrian Agustin, Josep Vidal:
Degrees of Freedom Region of the MIMO X channel with an Arbitrary Number of Antennas. - Mansour Moufid:
Sudoku as a special transportation problem. - Michal Nánási, Tomás Vinar, Brona Brejová:
Sequence Annotation with HMMs: New Problems and Their Complexity. - Ryuhei Mori, Toshiyuki Tanaka:
New Generalizations of the Bethe Approximation via Asymptotic Expansion. - Assalé Adjé, Jean Goubault-Larrecq:
Concrete Semantics of Programs with Non-Deterministic and Random Inputs. - Katarzyna Grygiel, Pierre Lescanne:
Counting and generating lambda terms. - Vittorio Perduca, Grégory Nuel:
Measuring the Influence of Observations in HMMs through the Kullback-Leibler Distance. - Amélie Gheerbrant, Balder ten Cate:
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Exarhos, Mihalis Panagopoulos, Lena Papazoglou-Manioudaki:
Optimization in Differentiable Manifolds in Order to Determine the Method of Construction of Prehistoric Wall-Paintings. - Eric Eaton, Marie desJardins, Sara Jacob:
Multi-view constrained clustering with an incomplete mapping between views. - Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Panagopoulos, Panayiota Loumou, Georgios Theodoropoulos:
A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants. Application to the Automatic Identification of Parasites. - Ruchi Chaudhary, J. Gordon Burleigh, David Fernández-Baca:
Inferring Species Trees from Incongruent Multi-Copy Gene Trees Using the Robinson-Foulds Distance. - George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. - Mikael Gast, Mathias Hauptmann, Marek Karpinski:
Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations. - Hamed Mirghasemi, Aslan Tchamkerten:
On the Capacity of the One-Bit Deletion and Duplication Channel. - Dimiter Dobrev
:
AI in arbitrary world. - Suayb S. Arslan:
Minimum Distortion Variance Concatenated Block Codes for Embedded Source Transmission. - Anne Collard, Silvère Bonnabel, Christophe Phillips, Rodolphe Sepulchre:
An anisotropy preserving metric for DTI processing. - Stefan Seer, Norbert Brändle, Carlo Ratti:
Kinects and Human Kinetics: A New Approach for Studying Crowd Behavior. - Nasrin Jaberi:
An Introduction on Dependency Between Hardware Life Time Components and Dynamic Voltage Scaling. - José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. - Tipawan Silwattananusarn
, Kulthida Tuamsuk:
Data Mining and Its Applications for Knowledge Management: A Literature Review from 2007 to 2012. - Constantin Papaodysseus, Dimitris Arabadjis, Mihalis Exarhos, Panayiotis Rousopoulos, Solomon Zannos, Michail Panagopoulos, Lena Papazoglou-Manioudaki:
Efficient Solution to the 3D Problem of Automatic Wall Paintings Reassembly. - Oumair Naseer, Rana Atif Ali Khan:
Online Adaptive Fault Tolerant based Feedback Control Scheduling Algorithm for Multiprocessor Embedded Systems. - Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents] - Francis J. O'Brien Jr., Nathan Johnnie, Susan Maloney, Aimee Ross:
A Proposed General Method for Parameter Estimation of Noise Corrupted Oscillator Systems. - Venkatesan T. Chakaravarthy, Arindam Pal, Sambuddha Roy, Yogish Sabharwal:
Scheduling Resources for Executing a Partial Set of Jobs. - Mahdieh Ghazvini, Naser Movahhedinia, Kamal Jamshidi:
Carrier Sense Multiple Access Tuning Parameters using Game Theory. - Balachandra Muniyal, K. V. Prema, Mamatha Balachandra:
Comparison of Certificate Policies for Merging Public Key Infrastructures during Merger and Acquisition of Companies. - Chung-Chieh Fang, Eyad H. Abed:
Local Bifurcations in DC-DC Converters. - Neha Rathi, Jyoti Saraswat, Partha Pratim Bhattacharya:
A review on routing protocols for application in wireless sensor networks. - Hiromu Mori, Yoshihiro Matsumito, Shoji Makino, Victor V. Kryssanov, Tomasz M. Rutkowski:
Vibrotactile Stimulus Frequency Optimization for the Haptic BCI Prototype. - Yoshihiro Matsumoto, Nozomu Nishikawa, Takeshi Yamada, Shoji Makino, Tomasz M. Rutkowski:
Auditory Steady-State Response Stimuli based BCI Application - The Optimization of the Stimuli Types and Lengths. - Nozomu Nishikawa, Yoshihiro Matsumoto, Shoji Makino, Tomasz M. Rutkowski:
The Spatial Real and Virtual Sound Stimuli Optimization for the Auditory BCI. - Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. - Anja Korporal, Georg Regensburger, Markus Rosenkranz:
Regular and Singular Boundary Problems in Maple. - Moonjeong Chang, Nozomu Nishikawa, Zhenyu Cai, Shoji Makino, Tomasz M. Rutkowski:
Psychophysical Responses Comparison in Spatial Visual, Audiovisual, and Auditory BCI-Spelling Paradigms. - Mario Goldenbaum, Slawomir Stanczak:
Robust Analog Function Computation via Wireless Multiple-Access Channels. - K. Saravanan, C. Saranya, M. Saranya:
A new application of Multi modal Biometrics in home and office security system. - Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan:
Petri Net Reachability Graphs: Decidability Status of First Order Properties. - K. Saravanan, S. Akshaya, R. Pavithra, K. Pushpavalli:
An Effective Fusion Technique of Cloud Computing and Networking Series. - Francesca A. Lisi:
Learning Onto-Relational Rules with Inductive Logic Programming. - Johan Thapper, Stanislav Zivný:
The complexity of finite-valued CSPs. - Gauri Joshi, Yanpei Liu, Emina Soljanin:
Coding for Fast Content Download. - Sanjoy Das
, D. K. Lobiyal:
A Performance Analysis of LAR Protocol for Vehicular Ad Hoc Networks in City Scenarios. - Abbas Nargesi, Mehdi Ghasemi:
Using Orthogonal Channels for Supporting Multicast Service in Multi-channel Wireless Mesh Networks. - Pierre Leone, Elad Michael Schiller:
Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad-hoc Networks. - Boris S. Tsybakov, Alexandre B. Tsybakov:
On Walsh code assignment. - Miranda Zhang, Rajiv Ranjan, Armin Haller, Dimitrios Georgakopoulos, Peter Strazdins:
Investigating Decision Support Techniques for Automating Cloud Service Selection. - Wan Mohd. Yaakob Wan Bejuri, Mohd Murtadha Mohamad, Maimunah Sapri, Mohd Adly Rosly:
Performance Evaluation of Mobile U-Navigation based on GPS/WLAN Hybridization. - Dong Du:
Contributions to Persistence Theory. - Kwankyu Lee, Maria Bras-Amorós, Michael E. O'Sullivan:
Unique Decoding of General AG Codes. - Han Lai, Rong Peng, Dong Sun, Jia Liu:
A lightweight forum-based distributed requirement elicitation process for open source community. - Federico Aschieri, Margherita Zorzi
:
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic. 1-18 - Robbert Krebbers:
A call-by-value lambda-calculus with lists and control. 19-33 - Koji Nakazawa, Shin-ya Katsumata
:
Extensional Models of Untyped Lambda-mu Calculus. 35-47 - Thomas Powell
:
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma. 49-62 - Bojin Zheng, Hongrun Wu, Jun Qin, Wenhua Du, Jianmin Wang, Deyi Li:
A simple model clarifies the complicated relationships of complex networks. - Joonwoo Bae
:
Distinguishability, Ensemble Steering, and the No-Signaling Principle. 26-32 - Shekoofeh Ghiam, Alireza Nemaney Pour:
A Survey on Web Spam Detection Methods: Taxonomy. - Xiangrui Meng, Michael W. Mahoney:
Low-distortion Subspace Embeddings in Input-sparsity Time and Applications to Robust Linear Regression. - Pardeep Kumar, Nitin, Vivek Kumar Sehgal, Durg Singh Chauhan:
A Benchmark to Select Data Mining Based Classification Algorithms For Business Intelligence And Decision Support Systems. - Krishnendu Chatterjee, Yaron Velner:
Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives. - S. Nithya Rekha, C. Chandrasekar:
Performance Analysis of Probabilistic Rebroadcasting in Grid FSR for MANET. - Ayatullah Faruk Mollah, Subhadip Basu, Mita Nasipuri:
Computationally Efficient Implementation of Convolution-based Locally Adaptive Binarization Techniques. - Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker:
Data Interpolation: An Efficient Sampling Alternative for Big Data Aggregation. - Vasuki Narasimha Swamy, Srikrishna Bhashyam, Rajesh Sundaresan, Pramod Viswanath:
An asymptotically optimal push-pull method for multicasting over a random network. - Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks:
On Online Labeling with Polynomially Many Labels. - Matthew Crossley, Andy Nisbet, Martyn Amos:
Fitness Landscape-Based Characterisation of Nature-Inspired Algorithms. - Cuneyt Gurcan Akcora, Barbara Carminati, Elena Ferrari:
Risks of Friendships on Social Networks. - Vít Novácek:
Distributional Framework for Emergent Knowledge Acquisition and its Application to Automated Document Annotation. - Mohammad Esmalifalak, Ge Shi, Zhu Han, Lingyang Song:
Bad Data Injection Attack and Defense in Electricity Market using Game Theory Study. - Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Multi-threaded ASP Solving with clasp. - Marco Pellegrini, Filippo Geraci, Miriam Baglioni:
Detecting dense communities in large social and information networks with the Core & Peel algorithm. - Jarek Nabrzyski, Krzysztof Kurowski, Daniel S. Katz, André Merzky
:
Grid Computing: The Next Decade -- Report and Summary. - Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro:
A Strict Hierarchy of Dynamic Graphs for Shortest, Fastest, and Foremost Broadcast. - Pradeep Chathuranga Weeraddana, George Athanasiou, Martin Jakobsson, Carlo Fischione, John S. Barras:
Per-se Privacy Preserving Distributed Optimization. - Yasaman Keshtkarjahromi, Rashid Ansari, Ashfaq A. Khokhar:
Energy Efficient Decentralized Detection. - Saeid Pashazadeh, Maryam Pashazadeh:
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net. - Juan-Manuel Torres-Moreno:
Artex is AnotheR TEXt summarizer. - Shaun N. Joseph, Lisa Cingiser DiPippo:
Pseudo-scheduling: A New Approach to the Broadcast Scheduling Problem. - Keyvan Mohebbi
, Suhaimi Ibrahim, Norbik Bashah Idris:
Contemporary Semantic Web Service Frameworks: An Overview and Comparisons. - Johannes Ebbing, Juha Kontinen
, Julian-Steffen Müller, Heribert Vollmer
:
A Fragment of Dependence Logic Capturing Polynomial Time. - Hervé Fournier, Anas Ismail, Antoine Vigneron
:
Computing the Gromov hyperbolicity of a discrete metric space. - Andrei A. Bulatov, Amir Hedayaty:
Galois correspondence for counting quantifiers. - Virginia Estellers, Jean-Philippe Thiran, Xavier Bresson:
Enhanced Compressed Sensing Recovery with Level Set Normals. - Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte:
An optimized conflict-free replicated set. - Magnús M. Halldórsson, Stephan Holzer, Pradipta Mitra, Roger Wattenhofer:
The Power of Non-Uniform Wireless Power. - Ezzeddine Benaissa, Abdellatif BenAbdelhafid, Mounir Benaissa:
An Agent-based framework for cooperation in Supply Chain. - Wei Jiao, Shankar Vembu, Amit G. Deshwar, Lincoln Stein, Quaid Morris:
Modeling the Clonal Evolution of Cancer from Next Generation Sequencing Data. - Armin Eftekhari, Han Lun Yap, Christopher J. Rozell, Michael B. Wakin:
The Restricted Isometry Property for Random Block Diagonal Matrices. - Stéfan van der Walt, Ben M. Herbst:
A polygon-based interpolation operator for super-resolution imaging. - Bin Zhang, Andrew C. Thomas, Patrick Doreian, David Krackhardt, Ramayya Krishnan:
Contrasting Multiple Social Network Autocorrelations for Binary Outcomes, With Applications To Technology Adoption. - Cheuk Ting Li:
On Multi-rate Sequential Data Transmission. - R. Kaniezhil, C. Chandrasekar:
Multiple Service providers sharing Spectrum using Cognitive Radio in Wireless Communication Networks. - R. Kaniezhil, C. Chandrasekar:
Comparing Spectrum Utilization using Fuzzy Logic System for Heterogeneous Wireless Networks via Cognitive Radio. - Vaibhav Srivastava, Fabio Pasqualetti, Francesco Bullo:
Stochastic Surveillance Strategies for Spatial Quickest Detection. - Adela Barriuso, Antonio Torralba:
Notes on image annotation. - G. R. Jithamithra, B. Sundar Rajan:
Construction of Block Orthogonal STBCs and Reducing Their Sphere Decoding Complexity. - Joydeep Basu, Tarun Kanti Bhattacharyya:
Microelectromechanical system cantilever-based frequency doublers. - Ali Soltani Tehrani, Hossein Mashad Nemati, Haiying Cao, Thomas Eriksson, Christian Fager:
Varactor-Based Dynamic Load Modulation of High Power Amplifiers. - Zhi Chen, Teng Joon Lim, Mehul Motani:
Digital Network Coding Aided Two-way Relaying: Energy Minimization and Queue Analysis. - Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin:
Synthesis from LTL Specifications with Mean-Payoff Objectives. - Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. - Magnus Skjegstad, Brage Ellingsæter, Torleiv Maseng, Jon Crowcroft:
Large-Scale Peer-to-Peer Discovery Mechanism and Architecture for Frequency Allocation. - Yang Cai, Zhiyi Huang:
Simple and Nearly Optimal Multi-Item Auctions. - Zhao Wang, Ming Xiao, Chao Wang, Mikael Skoglund:
Degrees of Freedom of Multi-hop MIMO Broadcast Networks with Delayed CSIT. - Sohrob Kazerounian, Matthew D. Luciw, Mathis Richter, Yulia Sandamirskaya:
Autonomous Reinforcement of Behavioral Sequences in Neural Dynamics. - Rodrigo Cabral Farias, Jean-Marc Brossier:
Adaptive Quantizers for Estimation. - Bo Zong, Yinghui Wu, Ambuj K. Singh, Xifeng Yan:
Inferring the Underlying Structure of Information Cascades. - Ondrej Bílka:
Pattern matching in compilers. - Marton Trencseni, István Csabai:
Plane-Sweep Incremental Algorithm: Computing Delaunay Tessellations of Large Datasets. - François Pellegrini
, Sébastien Canevet:
Le droit du numérique : une histoire à préserver. - Jaume Barceló, Núria Garcia, Azadeh Faridi, Simon Oechsner, Boris Bellalta:
Modelling a Decentralized Constraint Satisfaction Solver for Collision-Free Channel Access. - Vincent Padovani:
Decidability of All Minimal Models (Revised Version - 2012). - Mahdi Bakhshi, Mohsen Hashemi:
User-Centric Optimization for Constraint Web Service Composition using a Fuzzy-guided Genetic Algorithm System. - Wei Jiang, Junhua Tang, Bhaskar Krishnamachari:
Optimal Power Allocation Policy over Two Identical Gilbert-Elliott Channels. - Robert Wahlstedt:
Quick Summary. - A. Al-Neaimi, S. Qatawneh, Nedhal Al Saiyd:
Conducting Verification And Validation Of Multi-Agent Systems. - Murphy Junyu Choy, Michelle L. F. Cheong:
A Flexible Mixed Integer Programming framework for Nurse Scheduling. - Onur Ozan Koyluoglu, Ankit Singh Rawat, Sriram Vishwanath:
Secure Cooperative Regenerating Codes for Distributed Storage Systems. - Matthew C. Valenti, Don J. Torrieri, Salvatore Talarico:
A New Analysis of the DS-CDMA Cellular Downlink Under Spatial Constraints. - Daniel Karapetyan, Abraham P. Punnen:
Heuristic algorithms for the bipartite unconstrained 0-1 quadratic programming problem. - Tarun Kumar Juluru, Anitha Sheela Kankacharla:
Estimation and compensation of inter carrier interference in wimax physical layer under various channel models. - Mariano Tepper, Pablo Musé, Andrés Almansa:
On the Role of Contrast and Regularity in Perceptual Boundary Saliency. - Divya Gupta, Amit Sahai:
On Constant-Round Concurrent Zero-Knowledge from a Knowledge Assumption. - Tanmoy Chakraborty, Sivaji Bandyopadhyay:
Inference of Fine-grained Attributes of Bengali Corpus for Stylometry Detection. - Kishore Kothapalli, Sriram V. Pemmaraju, Vivek Sardeshmukh:
On the Analysis of a Label Propagation Algorithm for Community Detection. - Basem Y. Alkazemi:
A Conceptual Framework to Analyze Enterprise Business Solutions from a Software Architecture Perspective. - Basem Y. Alkazemi:
On verification of software components. - Panagiotis Manolios, Vasilis Papavasileiou:
ILP Modulo Theories. - Sudheer Vakati, David Fernández-Baca:
On Two Graph-Theoretic Characterizations of Tree Compatibility. - Shih-Jung Wu, Shih-Yi Huang, Kuo-Feng Huang:
Adaptive Priority-Based Downlink Scheduling for WiMAX Networks. - Ranjan Bala Jain, Mahima Mehta, Abhay Karandikar:
Analysis of Blocking Probability in a Relay-based Cellular OFDMA Network. - Ibrahim Missaoui, Zied Lachiri:
Blind speech separation based on undecimated wavelet packet-perceptual filterbanks and independent component analysis. - Lorenzo Ntogramatzidis, Roberto Zanasi, Stefania Cuoghi:
A Unified Analytical Design Method of Standard Controllers using Inversion Formulae. - Abhinav Ganesan, B. Sundar Rajan:
On Precoding for Constant K-User MIMO Gaussian Interference Channel with Finite Constellation Inputs. - Idan Ram, Michael Elad, Israel Cohen:
Image Processing using Smooth Ordering of its Patches. - Md. Shafiul Alam, Asish Mukhopadhyay:
Improved upper and lower bounds for the point placement problem. - YuLong Zou, Jia Zhu, Rui Zhang:
Exploiting Network Cooperation in Green Wireless Communication. - Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms. - Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms. - Peiran Wu, Robert Schober, Vijay K. Bhargava:
Transceiver Design For SC-FDE Based MIMO Relay Systems. - Fethi Fkih, Kais Haddar:
Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z. - Chien-Liang Chen, Chao-Lin Liu, Yuan-Chen Chang, Hsiang-Ping Tsai:
Opinion Mining for Relating Subjective Expressions and Annual Earnings in US Financial Statements. - (Withdrawn) Traffic-Aware Relay Sleep Control to Improve Energy Efficiency in Joint Macro-Relay Networks.
- Xi Xu, Rashid Ansari, Ashfaq A. Khokhar:
Power-efficient Hierarchical Data Aggregation using Compressive Sensing in WSN. - Andrew Winslow:
Inapproximability of the Smallest Superpolyomino Problem. - Hosung Park, Seokbeom Hong, Jong-Seon No, Dong-Joon Shin:
Design of Multiple-Edge Protographs for QC LDPC Codes Avoiding Short Inevitable Cycles. - Julian J. McAuley, Jure Leskovec, Dan Jurafsky:
Learning Attitudes and Attributes from Multi-Aspect Reviews. - Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th International Conference on Logic Programming Special Issue. - Rodolfo Baggio, Giacomo Del Chiappa:
Tourism destinations as digital business ecosystems. - Fabio Daolio, Sébastien Vérel, Gabriela Ochoa, Marco Tomassini:
Local optima networks and the performance of iterated local search. - Srishti Shukla, B. Sundar Rajan:
Wireless Network-Coded Four-Way Relaying Using Latin Hyper-Cubes. - Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones, M. S. Ramanujan:
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. - Maayan Harel, Shie Mannor:
The Perturbed Variation. - Xin Liu, Tsuyoshi Murata, Ken Wakita:
Extending modularity by incorporating distance functions in the null model. - Augusto Dias Pereira dos Santos, Leandro Krug Wives, Luis Otávio Alvares:
Location-Based Events Detection on Micro-Blogs. - Laurent Fournier:
Économie des biens immatériels - Economics of Intangible Goods. - Francisco Chicano, Fabio Daolio, Gabriela Ochoa, Sébastien Vérel, Marco Tomassini, Enrique Alba:
Local Optima Networks, Landscape Autocorrelation and Heuristic Search Performance. - Avinatan Hassidim, Haim Kaplan, Omry Tuval:
Joint Cache Partition and Job Assignment on Multi-Core Processors. - Bogdan Savchynskyy, Stefan Schmidt:
Getting Feasible Variable Estimates From Infeasible Ones: MRF Local Polytope Study. - Deepak Ponvel Chermakani:
NP-Completeness of deciding the feasibility of Linear Equations over binary-variables with coefficients and constants that are 0, 1, or -1. - Vladimir Lifschitz, Karl Pichotta, Fangkai Yang:
Relational Theories with Null Values and Non-Herbrand Stable Models. - Sacha Sokoloski:
A Biologically Realistic Model of Saccadic Eye Control with Probabilistic Population Codes. - Sotirios P. Chatzis, Dimitrios Korkinof, Yiannis Demiris:
The Kernel Pitman-Yor Process. - Wei Lu, Laks V. S. Lakshmanan:
Profit Maximization over Social Networks. - Alban Grastien:
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming. - Ioannis Poulakakis, Luca Scardovi, Naomi Ehrich Leonard:
Node Classification in Networks of Stochastic Evidence Accumulators. - Bappi Barua, Mehran Abolhasan, Daniel Robert Franklin
, Farzad Safaei:
Outage Probability Analysis of Dual Hop Relay Networks in Presence of Interference. - Nicholas D. Larusso, Brian E. Ruttenberg, Ambuj K. Singh:
A Latent Parameter Node-Centric Model for Spatial Networks. - Jun-Young Woo, Hyun-Seung Joo, Kee-Hoon Kim, Jong-Seon No, Dong-Joon Shin:
Deterministic Selection of Phase Sequences in Low Complexity SLM Scheme. - Heru Suhartanto, Arry Yanuar, Ari Wibisono:
Performance Analysis Cluster and GPU Computing Environment on Molecular Dynamic Simulation of BRV-1 and REM2 with GROMACS. - Matthieu Boutier, Gabriel Kerneis:
Generating events with style. - Christian Schou Oxvig, Patrick Steffen Pedersen, Thomas Arildsen, Torben Larsen:
Improving Smoothed l0 Norm in Compressive Sensing Using Adaptive Parameter Selection. - Pierre Ganty, Radu Iosif, Filip Konecný:
Underapproximation of Procedure Summaries for Integer Programs. - Jun Fang, Yanning Shen, Hongbin Li:
A Fast Iterative Algorithm for Recovery of Sparse Signals from One-Bit Quantized Measurements. - Ángel M. Bravo-Santos, Petar M. Djuric:
Communications with decode-and-forward relays in mesh networks. - Ruchir Gupta, Yatindra Nath Singh:
Trust Estimation and Aggregation in Peer-to-Peer Network Using Differential Gossip Algorithm. - (Withdrawn) A quantum algorithm for solving the 3-SAT problem.
- Vincent Boussemart, Loris Marini, Matteo Berioli:
Impact of Scheduling in the Return-Link of Multi-Beam Satellite MIMO Systems. - George B. Mertzios:
The Recognition of Simple-Triangle Graphs and of Linear-Interval Orders is Easy. - Themistoklis Charalambous, Christoforos N. Hadjicostis:
Distributed Formation of Balanced and Bistochastic Weighted Diagraphs in Multi-Agent Systems. - Loet Leydesdorff, Øivind Strand:
The Swedish System of Innovation: Regional Synergies in a Knowledge-Based Economy. - Hywel B. Carver, Derek Groen, James Hetherington, Rupert W. Nash, Miguel O. Bernabeu, Peter V. Coveney:
Coalesced communication: a design pattern for complex parallel scientific software. - Hong Sun, Kristof Depraetere, Jos De Roo, Boris De Vloed, Giovanni Mels, Dirk Colaert:
Semantic integration and analysis of clinical data. - Marius Zimand:
On efficient constructions of short lists containing mostly Ramsey graphs. - Giovanni Marro:
A Direct Proof of a Theorem Concerning Singular Hamiltonian Systems. - Eyjolfur Ingi Asgeirsson, Magnús M. Halldórsson, Pradipta Mitra:
Wireless Network Stability in the SINR Model. - Johannes Lindblom, Eleftherios Karipidis, Erik G. Larsson:
Efficient Computation of Pareto Optimal Beamforming Vectors for the MISO Interference Channel with Multiuser Decoding. - Yingzhen Yang, Xinqi Chu, Tian-Tsong Ng, Alex Yong Sang Chia, Shuicheng Yan, Thomas S. Huang:
Epitome for Automatic Image Colorization. - Remi A. Chou, Matthieu R. Bloch:
Separation of Reliability and Secrecy in Rate-Limited Secret Key-Distillation. - Camelia-Mihaela Pintea, Cristian Pascan, Mara Hajdu-Macelaru:
Comparing several heuristics for a packing problem. - Alberto Gil C. P. Ramos, Miguel R. D. Rodrigues:
Coherent Fading Channels Driven by Arbitrary Inputs: Asymptotic Characterization of the Constrained Capacity and Related Information- and Estimation-Theoretic Quantities. - Zhenliang Zhang, Edwin K. P. Chong, Ali Pezeshki, William Moran, Stephen D. Howard:
Submodularity and Optimality of Fusion Rules in Balanced Binary Relay Trees. - Konstantinos Pelechrinis, Prashant Krishnamurthy, Ke Zhang
:
Gaming the Game: Honeypot Venues Against Cheaters in Location-based Social Networks. - Samson Abramsky, Viktor Winschel:
Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting. - Michael Baudin, Robert L. Smith:
A Robust Complex Division in Scilab. - David Bamman, Jacob Eisenstein, Tyler Schnoebelen:
Gender in Twitter: Styles, stances, and social networks. - Vijay V. Vazirani:
An Improved Definition of Blossoms and a Simpler Proof of the MV Matching Algorithm. - Bernd Bandemer, Abbas El Gamal, Young-Han Kim:
Simultaneous Nonunique Decoding Is Rate-Optimal. - Chunhua Shen, Sakrapee Paisitkriangkrai, Anton van den Hengel:
A Direct Approach to Multi-class Boosting and Extensions. - Subhash C. Kak:
Random Sequences Based on the Divisor Pairs Function. - Alexandre Maurer, Sébastien Tixeuil:
A Scalable Byzantine Grid. - Yashpal Singh, Kapil Gulati, S. Niranjan:
Dimensions and issues of mobile agent technology. - Hamidou Tembine, Raúl Tempone, Pedro Vilanova:
Mean-Field Learning: a Survey. - José N. Oliveira:
Functions as types or the "Hoare logic" of functional dependencies. - A. A. Karawia:
A New Recursive Algorithm For Inverting A General Comrade Matrix. - A PRQ Search Method for Probabilistic Objects (Probabilistic Range Query over Uncertain Moving Objects in Constrained 2D Space).
- Guillaume Aupy, Anne Benoit:
Approximation algorithms for energy, reliability and makespan optimization problems. - Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
Black-Box Verification for GUI Applications. - Nikzad Babaii Rizvandi, Albert Y. Zomaya:
A Primarily Survey on Energy Efficiency in Cloud and Distributed Computing Systems. - László A. Végh, Bernhard von Stengel:
Oriented Euler Complexes and Signed Perfect Matchings. - Narayana P. Santhanam, Dharmendra S. Modha:
Optimal Lempel-Ziv based lossy compression for memoryless data: how to make the right mistakes. - Zeev Nutov:
A unified approach to source location via rooted network augmentation. - Tor Helleseth, Alexander Kholosha, Sihem Mesnager:
Niho Bent Functions and Subiaco/Adelaide Hyperovals. - Yuan Liu, Meixia Tao, Jianwei Huang:
An Auction Approach to Distributed Power Allocation for Multiuser Cooperative Networks. - Aliaksei Sandryhaila, José M. F. Moura:
Discrete Signal Processing on Graphs. - Christoforos N. Hadjicostis, Themistoklis Charalambous:
Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies. - Hongfei Fu:
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata. - Roger Andrew Sauer, Thang X. Duong, Callum J. Corbett:
A computational formulation for constrained solid and liquid membranes considering isogeometric finite elements. - S. Ali A. Fakoorian, A. Lee Swindlehurst:
Full Rank Solutions for the MIMO Gaussian Wiretap Channel with an Average Power Constraint. - Christopher J. Lee, Marc Harper:
Basic Experiment Planning via Information Metrics: the RoboMendel Problem. - Jakub Lacki, Yahav Nussbaum, Piotr Sankowski, Christian Wulff-Nilsen:
Single Source - All Sinks Max Flows in Planar Digraphs. - (Withdrawn) Whole Genome Sequencing: Innovation Dream or Privacy Nightmare?
- Shay Kutten, Gopal Pandurangan, David Peleg, Peter Robinson, Amitabh Trehan:
Sublinear Bounds for Randomized Leader Election. - Xingyu Xiang, Matthew C. Valenti:
Closing the Gap to the Capacity of APSK: Constellation Shaping and Degree Distributions. - Yiling Chen, Mike Ruberry, Jennifer Wortman Vaughan:
Designing Informative Securities. - Hau Chan, Michael Ceyko, Luis E. Ortiz:
Interdependent Defense Games: Modeling Interdependent Security under Deliberate Attacks. - Stéphane Caron, Branislav Kveton, Marc Lelarge, Smriti Bhagat:
Leveraging Side Observations in Stochastic Bandits. - Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. - Dhruv Batra:
An Efficient Message-Passing Algorithm for the M-Best MAP Problem. - Elias Bareinboim, Judea Pearl:
Causal Inference by Surrogate Experiments: z-Identifiability. - Raman Arora, Ofer Dekel, Ambuj Tewari:
Deterministic MDPs with Adversarial Rewards and Bandit Feedback. - Udi Apsel, Ronen I. Brafman:
Exploiting Uniform Assignments in First-Order MPE. - Saeed Amizadeh, Bo Thiesson, Milos Hauskrecht:
Variational Dual-Tree Framework for Large-Scale Transition Matrix Approximation. - Kareem Amin, Michael J. Kearns, Peter B. Key, Anton Schwaighofer:
Budget Optimization for Sponsored Search: Censored Learning in MDPs. - Asrar Ahmed, Pradeep Varakantham, Shih-Fen Cheng:
Uncertain Congestion Games with Assorted Human Agent Populations. - Lucas Agussurja, Hoong Chuin Lau:
Toward Large-Scale Agent Guidance in an Urban Taxi Service. - Raja Hafiz Affandi, Alex Kulesza, Emily B. Fox:
Markov Determinantal Point Processes. - Sreangsu Acharyya, Oluwasanmi Koyejo, Joydeep Ghosh:
Learning to Rank With Bregman Divergences and Monotone Retargeting. - Judea Pearl:
The Do-Calculus Revisited. - Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities .and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. - Hannaneh Hajishirzi, Mohammad Rastegari, Ali Farhadi, Jessica K. Hodgins:
Semantic Understanding of Professional Soccer Commentaries. - Sunil Kumar Gupta, Dinh Q. Phung, Svetha Venkatesh:
A Slice Sampler for Restricted Hierarchical Beta Process with Applications to Shared Subspace Learning. - Roger B. Grosse, Ruslan Salakhutdinov, William T. Freeman, Joshua B. Tenenbaum:
Exploiting compositionality to explore a large space of model structures. - Andrew Gelfand, Max Welling:
Generalized Belief Propagation on Tree Robust Structured Region Graphs. - Nicola Gatti, Giorgio Patrini, Marco Rocco, Tuomas Sandholm:
Combining local search techniques and path following for bimatrix games. - Dinesh Garg, Sourangshu Bhattacharya, S. Sundararajan, Shirish K. Shevade:
Mechanism Design for Cost Optimal PAC Learning in the Presence of Strategic Noisy Annotators. - Antonino Freno, Mikaela Keller, Gemma C. Garriga, Marc Tommasi:
Spectral Estimation of Conditional Random Graph Models for Large-Scale Network Data. - Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. - Miroslav Dudík, Dumitru Erhan, John Langford, Lihong Li:
Sample-efficient Nonstationary Policy Evaluation for Contextual Bandits. - Séverine Dubuisson, Christophe Gonzales, Xuan Son Nguyen:
DBN-Based Combinatorial Resampling for Articulated Object Tracking. - Wen Dong, Alex Pentland, Katherine A. Heller:
Graph-Coupled HMMs for Modeling the Spread of Infection. - Jilles Steeve Dibangoye, Christopher Amato, Arnaud Doniec:
Scaling Up Decentralized MDPs Through Heuristic Search. - Tom Claassen, Tom Heskes:
A Bayesian Approach to Constraint Based Causal Inference. - Jaesik Choi, Eyal Amir:
Lifted Relational Variational Inference. - Guang Ling, Haiqin Yang, Michael R. Lyu, Irwin King:
Response Aware Model-Based Collaborative Filtering. - Christopher H. Lin, Mausam, Daniel S. Weld:
Crowdsourcing Control: Moving Beyond Multiple Choice. - Hui Lin, Jeff A. Bilmes:
Learning Mixtures of Submodular Shells with Application to Document Summarization. - Lingbo Li, XianXing Zhang, Mingyuan Zhou, Lawrence Carin:
Nested Dictionary Learning for Hierarchical Organization of Imagery and Text. - Joshua Letchford, Yevgeniy Vorobeychik:
Computing Optimal Security Strategies for Interdependent Assets. - Hoong Chuin Lau, William Yeoh, Pradeep Varakantham, Duc Thien Nguyen, HuaXing Chen:
Dynamic Stochastic Orienteering Problems for Risk-Aware Applications. - Andrey Kolobov, Mausam, Daniel S. Weld:
A Theory of Goal-Oriented MDPs with Dead Ends. - Kshitij Judah, Alan Fern, Thomas G. Dietterich:
Active Imitation Learning via Reduction to I.I.D. Active Learning. - Sashank Jakkam Reddi, Emma Brunskill:
Incentive Decision Processes. - Alexander Ihler, Natalia Flerova, Rina Dechter, Lars Otten:
Join-graph based cost-shifting schemes. - Jesse Hostetler, Ethan W. Dereszynski, Thomas G. Dietterich, Alan Fern:
Inferring Strategies from Limited Reconnaissance in Real-time Strategy Games. - Tamir Hazan, Jian Peng, Amnon Shashua:
Tightening Fractional Covering Upper Bounds on the Partition Function for High-Order Region Graphs. - Ariel D. Procaccia, Sashank Jakkam Reddi, Nisarg Shah:
A Maximum Likelihood Approach For Selecting Sets of Alternatives. - Leonard K. M. Poon, April H. Liu, Tengfei Liu, Nevin Lianwen Zhang:
A Model-Based Approach to Rounding in Spectral Clustering. - Ankur P. Parikh, Le Song, Mariya Ishteva, Gabi Teodoru, Eric P. Xing:
A Spectral Algorithm for Latent Junction Trees. - Lars Otten, Rina Dechter:
A Case Study in Complexity Estimation: Towards Parallel Branch-and-Bound over Graphical Models. - Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J. Spaan:
Exploiting Structure in Cooperative Bayesian Games. - Yu Nishiyama, Abdeslam Boularias, Arthur Gretton, Kenji Fukumizu:
Hilbert Space Embeddings of POMDPs. - Teppo Niinimaki, Pekka Parviainen:
Local Structure Discovery in Bayesian Networks. - Kira Mourão, Luke Zettlemoyer, Ronald P. A. Petrick, Mark Steedman:
Learning STRIPS Operators from Noisy and Incomplete Observations. - Denis Deratani Mauá, Cassio Polpo de Campos, Marco Zaffalon:
The Complexity of Approximately Solving Influence Diagrams. - Sergiy Matusevych, Alexander J. Smola, Amr Ahmed:
Hokusai - Sketching Streams in Real Time. - Marwan A. Mattar, Allen R. Hanson, Erik G. Learned-Miller:
Unsupervised Joint Alignment and Clustering using Bayesian Nonparametrics. - Sridhar Mahadevan, Bo Liu:
Sparse Q-learning with Mirror Descent. - Thomas Lukasiewicz, Maria Vanina Martinez, Giorgio Orsi, Gerardo I. Simari:
Heuristic Ranking in Tightly Coupled Probabilistic Description Logics. - Tyler Lu, Pingzhong Tang, Ariel D. Procaccia, Craig Boutilier:
Bayesian Vote Manipulation: Optimal Strategies and Impact on Welfare. - Daniel Lowd:
Closed-Form Learning of Markov Networks from Dependency Networks. - Qiang Liu, Alexander Ihler:
Belief Propagation for Structured Decision Making. - Gavin Taylor, Ronald Parr:
Value Function Approximation in Noisy Environments Using Locally Smoothed Regularized Approximate Linear Programs. - Daniel Tarlow, Kevin Swersky, Richard S. Zemel, Ryan Prescott Adams, Brendan J. Frey:
Fast Exact Inference for Recursive Cardinality Models. - Wei Sun, Robin Hanson, Kathryn Blackmond Laskey, Charles Twardy:
Probability and Asset Updating using Bayesian Networks for Combinatorial Prediction Markets. - David A. Sontag, Do Kook Choe, Yitao Li:
Efficiently Searching for Frustrated Cycles in MAP Inference. - Ajit P. Singh, John T. Halloran, Jeff A. Bilmes, Katrin Kirchhoff, William Stafford Noble:
Spectrum Identification using a Dynamic Bayesian Network Model of Tandem Mass Spectra. - Bogdan Savchynskyy, Stefan Schmidt, Jörg Hendrik Kappes, Christoph Schnörr:
Efficient MRF Energy Minimization via Adaptive Diminishing Smoothing. - Giuseppe Sanfilippo:
From imprecise probability assessments to conditional probabilities with quasi additive classes of conditioning events. - Jens Röder, Boaz Nadler, Kevin Kunzmann, Fred A. Hamprecht:
Active Learning with Distributional Estimates. - Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. - Radu Marinescu, Abdul Razak, Nic Wilson:
Multi-objective Influence Diagrams. - Zongzhang Zhang, Xiaoping Chen:
FHHOP: A Factored Hybrid Heuristic Online Planning Algorithm for Large POMDPs. - Changhe Yuan, Brandon M. Malone:
An Improved Admissible Heuristic for Learning Optimal Bayesian Networks. - Jason Weston, John Blitzer:
Latent Structured Ranking. - Michael P. Wellman, Eric Sodomka, Amy Greenwald:
Self-Confirming Price Prediction Strategies for Simultaneous One-Shot Auctions. - Max Welling, Andrew E. Gelfand, Alexander Ihler:
A Cluster-Cumulant Expansion at the Fixed Points of Belief Propagation. - Jun Wang, Yinglong Xia:
Fast Graph Construction Using Auction Algorithm. - Thomas J. Walsh, Sergiu Goschin:
Dynamic Teaching in Sequential Decision Making Environments. - Mirwaes Wahabzada, Kristian Kersting, Christian Bauckhage, Christoph Römer, Agim Ballvora, Francisco Pinto, Uwe Rascher, Jens Leon, Lutz Ploemer:
Latent Dirichlet Allocation Uncovers Spectral Characteristics of Drought Stressed Plants. - Seppo Virtanen, Yangqing Jia, Arto Klami, Trevor Darrell:
Factorized Multi-Modal Topic Model. - Andrew Arnold:
A new in-place truncated Fourier transform algorithm. - Sliman Arrag, Abdellatif Hamdoun, Abderrahim Tragha, Salah eddine Khamlich:
Several AES Variants under VHDL language In FPGA. - Mikolaj Bojanczyk, Slawomir Lasota:
Minimization of semilinear automata. - David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. - Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy:
From Regexes to Parsing Expression Grammars. - Sha Hua, Xuejun Zhuo, Shivendra S. Panwar:
A Truthful Auction based Incentive Framework for Femtocell Access. - Venkatesan N. Ekambaram, Giulia Fanti, Kannan Ramchandran:
Semi-Definite Programming Relaxation for Non-Line-of-Sight Localization. - Pierre Machart, Sandrine Anthoine, Luca Baldassarre:
Optimal Computational Trade-Off of Inexact Proximal Methods. - Thomas Maugey, Ismaël Daribo, Gene Cheung, Pascal Frossard:
Navigation domain partitioning for interactive multiview imaging. - Jean-Louis Krivine:
Realizability algebras III: some examples. - Wajeb Gharibi:
An Improved Lower Bound of The Spark With Application. - Yousun Ko, Minyoung Jung, Yo-Sub Han, Bernd Burgstaller:
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments. - Harald Burchardt, Sinan Sinanovic, Zubin Bharucha, Harald Haas:
Distributed and Autonomous Resource and Power Allocation for Wireless Networks. - Matthew Butler, Dimitar Kazakov:
Creating a level playing field for all symbols in a discretization. - Yu Wang, Weikang Qian, Shuchang Zhang, Bo Yuan:
A Novel Learning Algorithm for Bayesian Network and Its Efficient Implementation on GPU. - Yang Lu, Mengying Wang, Menglu Li, Qili Zhu, Bo Yuan:
LSBN: A Large-Scale Bayesian Structure Learning Framework for Model Averaging. - Hui Zhou, Donglin Hu, Shiwen Mao, Prathima Agrawal, Saketh Anuma Reddy:
Cell Association and Handover Management in Femtocell Networks. - Piotr Bródka, Przemyslaw Kazienko, Bartosz Koloszczyk:
Predicting Group Evolution in the Social Network. - Stanislaw Saganowski, Piotr Bródka, Przemyslaw Kazienko:
Influence of the Dynamic Social Network Timeframe Type and Size on the Group Evolution Discovery. - Bogdan Gliwa, Stanislaw Saganowski, Anna Zygmunt, Piotr Bródka, Przemyslaw Kazienko, Jaroslaw Kozlak:
Identification of Group Changes in Blogosphere. - Piotr Bródka, Pawel Stawiak, Przemyslaw Kazienko:
Shortest Path Discovery in the Multi-layered Social Network. - Stefano Rosati, Stefano Tomasin, Matteo Butussi, Bixio Rimoldi:
LLR Compression for BICM Systems Using Large Constellations. - Piotr Bródka, Krzysztof Skibicki, Przemyslaw Kazienko, Katarzyna Musial:
A degree centrality in multi-layered social network. - Shachar Shayovitz, Dan Raphaeli:
Multiple Hypotheses Iterative Decoding of LDPC in the Presence of Strong Phase Noise. - Brage Ellingsæter, Torleiv Maseng:
The Domino Effect in Decentralized Wireless Networks. - Joseph Babb, Joohyung Lee:
Module Theorem for The General Theory of Stable Models. - Jose Texier, Marisa R. De Giusti, Nestor Oviedo, Gonzalo L. Villarreal, Ariel Jorge Lira:
Use of Repositories and its Significance for Engineering Education / El Uso de Repositorios y su Importancia para la Educación en Ingeniería. - Gary L. Miller, Richard Peng:
Approximate Maximum Flow on Separable Undirected Graphs. - Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
Tracking Group Evolution in Social Networks. - Colin A. Kerr:
Hands-Off Spreadsheets. - Jacob Eisenstein, Brendan O'Connor, Noah A. Smith, Eric P. Xing:
Mapping the geographical diffusion of new words. - Amit Sahai, Brent Waters:
Attribute-Based Encryption for Circuits from Multilinear Maps. - Nurcan Durak, Tamara G. Kolda, Ali Pinar, C. Seshadhri:
A scalable directed graph model with reciprocal edges. - K. B. Nakshatrala, Maruti Kumar Mudunuru, Albert J. Valocchi:
A numerical framework for diffusion-controlled bimolecular-reactive systems to enforce maximum principles and non-negative constraint. - (Withdrawn) Low-Complexity Demodulation for Interleaved OFDMA Downlink System Using Circular Convolution.
- Muhammad Nazmul Islam, Raviraj Adve:
Adaptive Differential Feedback in Time-Varying Multiuser MIMO Channels. - Gregory J. Duck:
SMCHR: Satisfiability Modulo Constraint Handling Rules. - Renu Jose, K. V. S. Hari:
Maximum Likelihood Algorithms for Joint Estimation of Synchronization Impairments and Channel in MIMO-OFDM System. - Koji Ohnishi:
The origin of Mayan languages from Formosan language group of Austronesian. - Zhiqiang Xu:
The performance of orthogonal multi-matching pursuit under RIP. - Rahul Sinha, Sonika Arora:
Design & Simulation of 128x Interpolator Filter. - Michal Pilipczuk:
Computing cutwidth and pathwidth of semi-complete digraphs via degree orderings. - Sabri Mtibaa, Moncef Tagina:
Timing Constraints Support on Petri-Net Model for Healthcare System Design. - Romain Guillaume, Przemyslaw Kobylanski, Pawel Zielinski:
A Robust Lot Sizing Problem with Ill-known Demands. - Rachit Agarwal, Vincent Gauthier, Monique Becker:
Enhancing Information Dissemination in Dynamic Wireless Network using Stability and Beamforming. - Arash Amini, Ulugbek Kamilov, Emrah Bostan, Michael Unser:
Bayesian Estimation for Continuous-Time Sparse Stochastic Processes. - Andreas Schwarte, Peter Haase, Michael Schmidt, Katja Hose, Ralf Schenkel:
An Experience Report of Large Scale Federations. - Muhammad Nazmul Islam, Shantharam Balasubramanian, Narayan B. Mandayam, Ivan Seskar, Sastry Kompella:
Implementation of Distributed Time Exchange Based Cooperative Forwarding. - Robbert van Renesse, Håvard D. Johansen, Nihar Naigaonkar, Dag Johansen:
Secure Abstraction with Code Capabilities. - Mina Guirguis, George K. Atia:
Stuck in Traffic (SiT) Attacks: A Framework for Identifying Stealthy Attacks that Cause Traffic Congestion. - Xinping Yi, Paul de Kerret, David Gesbert:
The DoF of Network MIMO with Backhaul Delays. - Francisco Escalona, Ruy Fabila Monroy, Jorge Urrutia:
Hamiltonian Tetrahedralizations with Steiner Points. - Juhi Ameta, Nisheeth Joshi, Iti Mathur:
A Lightweight Stemmer for Gujarati. - Marta Soto, Yasser González-Fernández, Carlos Alberto Ochoa Ortíz Zezzatti:
Modeling with Copulas and Vines in Estimation of Distribution Algorithms. - Ping Xia, Chun-Hung Liu, Jeffrey G. Andrews:
Downlink Coordinated Multi-Point with Overhead Modeling in Heterogeneous Cellular Networks. - Sabri Mtibaa, Moncef Tagina:
Quality of Service Support on High Level Petri-Net Based Model for Dynamic Configuration of Web Service Composition. - Sabri Mtibaa, Moncef Tagina:
Managing Changes in Citizen-Centric Healthcare Service Platform using High Level Petri Net. - Nisheeth Joshi, Iti Mathur:
Design of English-Hindi Translation Memory for Efficient Translation. - Matthijs Ruijgrok:
A single-item continuous double auction game. - Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. - Cem Tekin, Mingyan Liu:
Online Learning in Decentralized Multiuser Resource Sharing Problems. - Santiago Moisés Mola-Velasco:
Wikipedia Vandalism Detection Through Machine Learning: Feature Review and New Proposals: Lab Report for PAN at CLEF 2010. - Pietro Codara, Ottavio M. D'Antona:
On the independent subsets of powers of paths and cycles. - Chia-Chi Tsai, Chao-Lin Liu, Wei-Jie Huang, Man-Kwan Shan:
Hidden Trends in 90 Years of Harvard Business Review. - Przemyslaw Spurek, Jacek Tabor:
Cross-Entropy Clustering. - (Withdrawn) Pragmatic Physical Layer Encryption for Achieving Perfect Secrecy.
- Na Deng, Sihai Zhang, Wuyang Zhou, Jinkang Zhu:
A Stochastic Geometry Approach to Energy Efficiency in Relay-Assisted Cellular Networks. - Nazim Burak Karahanoglu, Hakan Erdogan:
Compressed Sensing Signal Recovery via Forward-Backward Pursuit. - Philipp Krähenbühl, Vladlen Koltun:
Efficient Inference in Fully Connected CRFs with Gaussian Edge Potentials. - Per Austrin, Ryan O'Donnell, Li-Yang Tan, John Wright:
New NP-hardness results for 3-Coloring and 2-to-1 Label Cover. - Samir Kumar Bandyopadhyay, Biswajita Datta, Sudipta Roy:
Identifications of concealed weapon in a Human Body. - Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. - (Withdrawn) Linear Physical-layer Network Coding in Galois Field for Rayleigh fading 2-Way Relay Channels.
- Reza Bosagh Zadeh, Gunnar Carlsson:
Characterizing Properties for Q-Clustering. - Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman:
Typed Answer Set Programming and Inverse Lambda Algorithms. - Noga Alon, Amit Weinstein:
Local Correction with Constant Error Rate. - Mathew C. Francis, Pavol Hell, Juraj Stacho:
Obstructions to chordal circular-arc graphs of small independence number. - Guangming Lang, Qingguo Li:
The construction of characteristic matrixes of dynamic coverings using an incremental approach. - Tuvi Etzion, Alexander Vardy, Eitan Yaakobi:
Coding for the Lee and Manhattan Metrics with Weighing Matrices. - Hao-Hsiang Hung:
Survival Network Design of Doubling Dimension Metrics. - Jaswinder Singh Dilawari, Ravinder Khanna:
Developing ICC Profile Using Gray Level Control In Offset Printing Process. - (Withdrawn) Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies.
- Estelle Delpech, Béatrice Daille, Emmanuel Morin, Claire Lemaire:
Extraction of domain-specific bilingual lexicon from comparable corpora: compositional translation and ranking. - Rui Wang, Meixia Tao, Yuan Liu:
Optimal Linear Transceiver Designs for Cognitive Two-Way Relay Networks. - Shree Krishna Sharma, Symeon Chatzinotas, Björn E. Ottersten:
Eigenvalue Based Sensing and SNR Estimation for Cognitive Radio in Presence of Noise Correlation. - Christoph Lenzen, Boaz Patt-Shamir:
Fast Routing Table Construction Using Small Messages. - Josep Silva
, Francesco Tiezzi:
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents] - Ho-Lin Chen, Ming-Yang Kao:
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-Assembly Systems. - Ryan A. Rossi, David F. Gleich, Assefaw Hadish Gebremedhin, Md. Mostofa Ali Patwary:
What if CLIQUE were fast? Maximum Cliques in Information Networks and Strong Components in Temporal Networks. - Zhengzheng Xiang, Meixia Tao, Xiaodong Wang:
Coordinated Multicast Beamforming in Multicell Networks. - Zhengzheng Xiang, Meixia Tao:
Robust Beamforming for Wireless Information and Power Transmission. - Emrah Bostan, Ulugbek Kamilov, Masih Nilchian, Michael Unser:
Sparse Stochastic Processes and Discretization of Linear Inverse Problems. - Purushottam Kar, Prateek Jain:
Supervised Learning with Similarity Functions. - Giovanni Chierchia, Nelly Pustelnik, Jean-Christophe Pesquet, Béatrice Pesquet-Popescu:
Epigraphical Projection and Proximal Tools for Solving Constrained Convex Optimization Problems: Part I. - Carlos A. Araújo, Italo J. Dejter, Peter Horák:
A Generalization of Lee Codes. - Bruno Grenet
, Thierry Monteil, Stéphan Thomassé
:
Symmetric Determinantal Representations in Characteristic 2. - Artur Janicki, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Steganalysis of Transcoding Steganography. - Chao-Lin Liu, Guantao Jin, Qingfeng Liu, Wei-Yun Chiu, Yih-Soong Yu:
Some Chances and Challenges in Applying Language Technologies to Historical Studies in Chinese. - Nils Bertschinger, Johannes Rauh, Eckehard Olbrich, Jürgen Jost:
Shared Information -- New Insights and Problems in Decomposing Information in Complex Systems. - Keith Douglas Farnsworth, John Nelson, Carlos Gershenson:
Living is information processing; from molecules to global systems. - Minati Mishra, Priyadarsini Mishra, M. C. Adhikary, Sunit Kumar:
Image Encryption Using Fibonacci-Lucas Transformation. - Adeyemi R. Ikuesan, Norafida Ithnin:
Bio-Thentic Card: Authentication concept for RFID Card. - Charbel Nicolas, Michel Marot:
Dynamic Link adaptation Based on Coexistence-Fingerprint Detection for WSN. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Physical Layer Network Coding for the K-user Multiple Access Relay Channel. - Gabriel Scherer, Didier Rémy:
GADT meet Subtyping. - Benjamin Camus, Julien Siebert, Christine Bourjot, Vincent Chevrier:
Modélisation multi-niveaux dans AA4MM. - J. Veerappan, G. Pitchammal:
Multilayer image watermarking scheme for providing high security. - Roberto Maieli:
Bipolar Proof Nets for MALL. - Ricardo C. Corrêa, Pablo Mayckon Silva Farias, Críston P. de Souza:
Insertion and Sorting in a Sequence of Numbers Minimizing the Maximum Sum of a Contiguous Subsequence. - Bohdan M. Pavlyshenko:
Classification Analysis Of Authorship Fiction Texts in The Space Of Semantic Fields. - Tomislav Petrovic:
Algorithm that constructs two sequence-set betting strategies that predict all compressible sequences. - Adamu Murtala Zungeru, Jonathan Gana Kolo, Ijarotimi Olumide:
A Simple and Reliable Touch Sensitive Security System. - Héctor Castillo-Andreu:
An MML-based tool for evaluating the complexity of (stochastic) logic theories. - Tasha Frankie, Gordon F. Hughes, Kenneth Kreutz-Delgado:
Solid State Disk Object-Based Storage with Trim Commands. - Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart:
The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web. - Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang:
AMBER: Automatic Supervision for Multi-Attribute Extraction. - Nazim Burak Karahanoglu, Hakan Erdogan:
On the Theoretical Analysis of Orthogonal Matching Pursuit with Termination Based on the Residue. - Daniil Ryabko, Jérémie Mary:
Reducing statistical time-series problems to binary classification. - Nicolas Kourtellis, Adriana Iamnitchi:
Leveraging Peer Centrality in the Design of Socially-Informed Peer-to-Peer Systems. - Sabri Mtibaa, Moncef Tagina:
An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment. - Richard L. Churchill:
Interplay: Dispersed Activation in Neural Networks. - Salam Akoum, Robert W. Heath Jr.:
Interference Coordination: Random Clustering and Adaptive Limited Feedback. - Leonidas Lampropoulos, Konstantinos Sagonas
:
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. 3-16 - Jesús Manuel Almendros-Jiménez
, Luis Iribarne
:
Model Validation in Ontology Based Transformations. 17-30 - James Smith:
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming. 31-45 - Sergio López, Josep Silva
, David Insa:
Using the DOM Tree for Content Extraction. 46-59