Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDCoRR, November 2007
- Lee Naish:
Declarative Diagnosis of Floundering.
- Sergey Gubin:
Convex and linear models of NP-problems. - Florent Krzakala, Lenka Zdeborová:
Phase Transitions and Computational Difficulty in Random Constraint Satisfaction Problems. - Prosenjit Bose, Paz Carmi, Mathieu Couture, Anil Maheshwari, Michiel H. M. Smid, Norbert Zeh:
Geometric Spanners With Small Chromatic Number. - Manoj Kumar:
Security Analysis of a Remote User Authentication Scheme with Smart Cards. - Ulrike von Luxburg:
A Tutorial on Spectral Clustering. - Dexter Kozen:
Coinductive Proof Principles for Stochastic Processes. - Krishnan Eswaran, Anand D. Sarwate, Anant Sahai, Michael Gastpar:
Limited feedback achieves the empirical capacity. - Telikepalli Kavitha, Rogers Mathew:
Faster Algorithms for Online Topological Ordering. - Sudhir Kumar Singh, Vwani P. Roychowdhury, Himawan Gunadhi, Behnam Attaran Rezaei:
Diversification in the Internet Economy:The Role of For-Profit Mediators. - Tadashi Wadayama, Masayuki Yagita, Yuuki Funahashi, Shogo Usami, Ichi Takumi:
Gradient Descent-Bit Flipping Algorithms for Decoding LDPC Codes. - Nihar Jindal, Jeffrey G. Andrews, Steven Weber:
Bandwidth Partitioning in Decentralized Wireless Networks. - Reuven Cohen, Niloofar Fazlollahi, David Starobinski:
Throughput Optimal On-Line Algorithms for Advanced Resource Reservation in Ultra High-Speed Networks. - H. Georg Buesching:
Improving the LP bound of a MILP by branching concurrently. - Aleksandar Lazarevic, Lionel Sacks:
Resource and Application Models for Advanced Grid Schedulers. - Aleksandar Lazarevic, Lionel Sacks:
Measuring and Monitoring Grid Resource Utilisation. - Aleksandar Lazarevic, Lionel Sacks:
A Study of Grid Applications: Scheduling Perspective. - Ioannis Liabotis, Ognjen Prnjat, Temitope Olukemi, Adrian Li Mow Ching, Aleksandar Lazarevic, Lionel Sacks, Mike Fisher, Paul McKee:
Self-Organising management of Grid environments. - Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat:
Enabling Adaptive Grid Scheduling and Resource Management. - Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat:
Managing Uncertainty: A Case for Probabilistic Grid Scheduling. - Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract). - Bernd Braßel, Michael Hanus, Marion Müller:
Compiling ER Specifications into Declarative Programs. - Falk Unger:
Noise threshold for universality of 2-input gates. - Mehmet Akçakaya, Vahid Tarokh:
Shannon Theoretic Limits on Noisy Compressive Sampling. - Zaenal Akbar, Laksana Tri Handoko:
Web-based Interface in Public Cluster. - Thomas A. Grossman:
Spreadsheet Engineering: A Research Framework. - Takao Inoue, Robert W. Heath Jr.:
Kerdock Codes for Limited Feedback Precoded MIMO Systems. - Mazen Zein, Philippe Wenger, Damien Chablat:
Singular Curves in the Joint Space and Cusp Points of 3-RPR parallel manipulators. - Bart Van Rompaey, Serge Demeyer:
Exploring the Composition of Unit Test Suites. - Jan Wielemaker, Anjo Anjewierden:
PIDoc: Wiki style Literate Programming for Prolog. - Ghazi Bouselmi, Dominique Fohr, Irina Illina, Jean Paul Haton:
Discriminative Phoneme Sequences Extraction for Non-Native Speaker's Origin Classification. - Anne Bonfante, Jean-Yves Marion:
On the defence notion. - Bruno Scherrer:
Performance Bounds for Lambda Policy Iteration. - Brooke Shrader, Haim H. Permuter:
Feedback Capacity of the Compound Channel. - Danilo Silva, Frank R. Kschischang, Ralf Koetter:
A Rank-Metric Approach to Error Control in Random Network Coding. - Yingbin Liang, H. Vincent Poor, Shlomo Shamai:
Information-Theoretic Security in Wireless Networks. - Philip B. Alipour
:
Addendum to Research MMMCV; A Man/Microbio/Megabio/Computer Vision. - Ghazi Bouselmi, Dominique Fohr, Irina Illina:
Combined Acoustic and Pronunciation Modelling for Non-Native Speech Recognition. - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction sequences with indirect jumps. - Jan A. Bergstra, Cornelis A. Middelburg:
An interface group for process components. - Jan A. Bergstra, Cornelis A. Middelburg:
Machine structure oriented control code logic. - Jan A. Bergstra, Cornelis A. Middelburg:
On the operating unit size of load/store architectures. - Jan A. Bergstra, Cornelis A. Middelburg:
A thread calculus with molecular dynamics. - Alessandro Mei, Julinda Stefa:
Routing in Outer Space: Improved Security and Energy-Efficiency in Multi-Hop Wireless Networks. - Jan Wielemaker, Zhisheng Huang, Lourens van der Meij:
SWI-Prolog and the Web. - Pietro Abate, Rajeev Goré, Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability. - Ghazi Bouselmi, Dominique Fohr, Irina Illina, Jean Paul Haton:
Amélioration des Performances des Systèmes Automatiques de Reconnaissance de la Parole pour la Parole Non Native. - Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
Simple Recursive Games. - Igal Sason, Gil Wiechman:
Bounds on the Number of Iterations for Turbo-Like Ensembles over the Binary Erasure Channe. - Deniz Gündüz, Elza Erkip:
Joint Source-Channel Codes for MIMO Block Fading Channels. - Alfredo von Reckow:
Considerations on P vs NP. - Willemien Visser:
Dynamic aspects of individual design activities. A cognitive ergonomics viewpoint. - Willemien Visser:
Designing as Construction of Representations: A Dynamic Viewpoint in Cognitive Design Research. - Anne Benoit, Veronika Rehn-Sonigo, Yves Robert:
Optimizing Latency and Reliability of Pipeline Workflow Applications. - Paul W. Goldberg, Pattarawit Polpinit:
The Price of Selfish Stackelberg Leadership in a Network Game. - Tolga Girici, Chenxi Zhu, Jonathan R. Agre, Anthony Ephremides:
Fair Scheduling in OFDMA-based Wireless Systems with QoS Constraints. - Tolga Girici, Chenxi Zhu, Jonathan R. Agre, Anthony Ephremides:
Practical Resource Allocation Algorithms for QoS in OFDMA-based Wireless Systems. - Willemien Visser:
Conception individuelle et collective. Approche de l'ergonomie cognitive [Individual and Collective Design. The Cognitive-Ergonomics Approach]. - Emanuele Viterbo, Yi Hong:
On the performance of Golden space-time trellis coded modulation over MIMO block fading channels. - Navin Kashyap:
On Minimal Tree Realizations of Linear Codes. - Keki M. Burjorjee:
Towards a Sound Theory of Adaptation for the Simple Genetic Algorithm. - Yoshiharu Maeno, Yukio Ohsawa:
Predicting relevant empty spots in social interaction. - Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler:
N3Logic: A Logical Framework For the World Wide Web. - Hamidreza Farmanbar, Shahab Oveis Gharan, Amir K. Khandani:
Channel Code Design with Causal Side Information at the Encoder. - Sudhir Kumar Singh, Vwani P. Roychowdhury:
Capacity as a Fundamental Metric for Mechanism Design in the Information Economy. - Wenyi Zhang, Shivaprasad Kotagiri, J. Nicholas Laneman:
Outage-Efficient Downlink Transmission Without Transmit Channel State Information. - (Withdrawn) Asymptotic Capacity of Wireless Ad Hoc Networks with Realistic Links under a Honey Comb Topology.
- James J. Cusick:
Applying Software Defect Estimations: Using a Risk Matrix for Tuning Test Effort. - Loukas Georgiadis, Haim Kaplan, Nira Shafrir, Robert Endre Tarjan, Renato Fonseca F. Werneck:
Data Structures for Mergeable Trees. - Jinshan Zhang, Yan Huo, Fengshan Bai:
An analysis of a random algorithm for estimating all the matchings. - Anatoly Pashkevich, Damien Chablat, Philippe Wenger:
Kinematic calibration of orthoglide-type mechanisms. - Ram Zamir, Yuval Kochman, Uri Erez:
Achieving the Gaussian Rate-Distortion Function by Prediction. - Cyril Dumont, Fabrice Mourlin:
A Mobile Computing Architecture for Numerical Simulation. - Francesca A. Lisi:
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. - Dorothea Baumeister, Jörg Rothe:
The Three-Color and Two-Color Tantrix(TM) Rotation Puzzle Problems are NP-Complete via Parsimonious Reductions. - Sumanth Kumar Reddy Gangasani:
Testing Kak's Conjecture on Binary Reciprocal of Primes and Cryptographic Applications. - Martin Haenggi:
A Geometric Interpretation of Fading in Wireless Networks: Theory and Applications. - Andrea Abrardo:
Performance bounds and codes design criteria for channel decoding with a-priori information. - Aoi Honda, Michel Grabisch:
Entropy of capacities on lattices and set systems. - Reiner Czerwinski:
A Polynomial Time Algorithm for Graph Isomorphism. - Peter D. Turney:
Empirical Evaluation of Four Tensor Decomposition Algorithms. - Kenza Guenda:
Two Families of Quantum Codes Derived from Cyclic Codes. - Thomas Sandholm:
Autoregressive Time Series Forecasting of Computational Demand. - Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal:
Query Evaluation and Optimization in the Semantic Web. - Gil I. Shamir:
Patterns of i.i.d. Sequences and Their Entropy - Part II: Bounds for Some Distributions. - Arthur L. da Cunha, Minh N. Do, Martin Vetterli:
On the Information Rates of the Plenoptic Function. - Michel Grabisch, Christophe Labreuche:
Bi-capacities -- Part II: the Choquet integral. - Michel Grabisch, Christophe Labreuche:
Bi-capacities -- Part I: definition, Möbius transform and interaction. - Michel Grabisch, Christophe Labreuche:
Derivative of functions over lattices as a basis for the notion of interaction between attributes. - Frédéric Vignat, François Villeneuve:
A numerical approach for 3D manufacturing tolerances synthesis. - Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh:
Guarded Hybrid Knowledge Bases. - Bodo Manthey:
Approximate Pareto Curves for the Asymmetric Traveling Salesman Problem. - Guillaume Thomann, Jean Caelen, Morgan Verdier, Brigitte Meillon:
Mise en place de scénarios pour la conception d'outils en Chirurgie Minimalement Invasive. - I. M. Suslov:
Can a Computer Laugh ? - Barbara Cerato, Guido Masera, Emanuele Viterbo:
Decoding the Golden Code: a VLSI design. - Vladimir G. Deineko, Alexandre Tiskin:
Minimum-weight double-tree shortcutting for Metric TSP: Bounding the approximation ratio. - Zhisheng Duan, Wenxu Wang, Chao Liu, Guanrong Chen:
Are networks with more edges easier to synchronize? - Richard Moot:
Proof nets for display logic. - Vasileios Barmpoutis, Gary F. Dargush:
A Compact Self-organizing Cellular Automata-based Genetic Algorithm. - Onur Hisarciklilar, Jean-François Boujut:
An annotation based approach to support design communication. - Pedro Miranda Menéndez, Michel Grabisch, Pedro Gil:
Axiomatic structure of k-additive capacities. - Michel Grabisch:
The Möbius transform on symmetric ordered structures and its application to capacities on finite sets. - Neri Merhav:
Error Exponents of Erasure/List Decoding Revisited via Moments of Distance Enumerators. - Wojciech Moczydlowski:
Normalization of IZF with Replacement. - Viveck R. Cadambe, Syed Ali Jafar, Shlomo Shamai:
Interference Alignment on the Deterministic Channel and Application to Fully Connected AWGN Interference Networks. - Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
Computing the Tutte polynomial in vertex-exponential time. - Gregory N. Price, Erik D. Demaine:
Generalized D-Forms Have No Spurious Creases. - Franco Bagnoli, Francesca Di Patti:
A Biologically Inspired Classifier. - Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications. - Giuseppe Caire, Nihar Jindal, Mari Kobayashi, Niranjay Ravindran:
Multiuser MIMO Downlink Made Practical: Achievable Rates with Simple Channel State Estimation and Feedback Schemes. - Matthew T. Harrison:
The Generalized Asymptotic Equipartition Property: Necessary and Sufficient Conditions. - Himanshu Thapliyal, Hamid R. Arabnia, Rajnish Bajpai, Kamal K. Sharma:
Combined Integer and Variable Precision (CIVP) Floating Point Multiplication Architecture for FPGAs. - Himanshu Thapliyal, Hamid R. Arabnia, Rajnish Bajpai, Kamal K. Sharma:
Partial Reversible Gates(PRG) for Reversible BCD Arithmetic. - Bernhard Haeupler, Robert Endre Tarjan:
Finding a Feasible Flow in a Strongly Connected Network. - Peyman Razaghi, Wei Yu:
Parity Forwarding for Multiple-Relay Networks. - Urs Niesen, Piyush Gupta, Devavrat Shah:
On Capacity Scaling in Arbitrary Wireless Networks. - Vita Hinze-Hoare:
Computer Supported Collaborative Research. - Shivaprasad Kotagiri, J. Nicholas Laneman:
Variations on Information Embedding in Multiple Access and Broadcast Channels. - Salvatore Scellato, Cecilia Mascolo, Mirco Musolesi, Vito Latora:
Epcast: Controlled Dissemination in Human-based Wireless Networks by means of Epidemic Spreading Models. - Gilles Halin, Sylvain Kubicki:
Une approche par les modèles pour le suivi de l'activité de construction d'un bâtiment. Bat'iViews : une interface multi-vues orientée gestion de chantier. - Viveck R. Cadambe, Syed Ali Jafar:
Degrees of Freedom of Wireless X Networks. - Salma Chaabouni, Jean-Claude Bignon, Gilles Halin:
Première étape vers une navigation référentielle par l'image pour l'assistance à la conception des ambiances lumineuses. - Sergey Bereg:
Faster Algorithms for Rigidity in the Plane. - Laksana Tri Handoko:
A new approach for scientific data dissemination in developing countries: a case of Indonesia. - Xueliang Li, Xiangmei Yao, Wenli Zhou:
Complexity of the conditional colorability of graphs. - Xueliang Li, Wenli Zhou:
Dynamic 3-Coloring of Claw-free Graphs. - Cristobald de Kerchove, Laure Ninove, Paul Van Dooren:
Maximizing PageRank via outlinks. - Axel Heim, Vladimir Sidorenko, Uli Sorger:
Trellis Computations. - Joaquín Izquierdo, Michael M. Tung, Rafael Pérez-García, F. J. Martínez:
Estimation of fuzzy anomalies in Water Distribution Systems. - Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable:
Comparing the notions of optimality in CP-nets, strategic games and soft constraints. - Anthony Gidudu, Greg Hulley, Tshilidzi Marwala:
Image Classification Using SVMs: One-against-One Vs One-against-All. - James A. Thom, Jovan Pehcevski, Anne-Marie Vercoustre:
Use of Wikipedia Categories in Entity Ranking. - Felix Brandt, Felix A. Fischer, Paul Harrenstein:
Recognizing Members of the Tournament Equilibrium Set is NP-hard. - Sylvain Kubicki, Annie Guerriero, Damien Hanser, Gilles Halin:
IT services design to support coordination practices in the Luxembourguish AEC sector. - Yannick Frein, Benjamin Lévêque, András Sebö:
Optimizing diversity. - Jie Luo:
On Optimality Test in Low Complexity Maximum Likelihood Decoding of Convolutional Codes. - Marcello Caleffi, Giancarlo Ferraiuolo, Luigi Paura:
Augmented Tree-based Routing Protocol for Scalable Ad Hoc Networks. - Anne-Marie Vercoustre, James A. Thom, Jovan Pehcevski:
Entity Ranking in Wikipedia. - Marie-Jean Meurs:
Approche polyedrale pour le probleme du separateur (VSP). - Tobias Koch, Amos Lapidoth:
Multipath Channels of Bounded Capacity. - Abolfazl S. Motahari, Amir K. Khandani:
To Decode the Interference or To Consider it as Noise. - Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey O. Shallit:
Finite automata, palindromes, patterns, and borders.