![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
CoRR, July 2004
- Parvin Asadzadeh, Rajkumar Buyya, Chun Ling Kei, Deepa Nayar, Srikumar Venugopal:
Global Grids and Software Toolkits: A Study of Four Grid Middleware Technologies. - Lea Cyrus, Hendrik Feddes, Frank Schumacher:
Annotating Predicate-Argument Structure for a Parallel Treebank. - Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro:
Insertion Sort is O(n log n). - Jürg Wullschleger:
Zero-error communication over networks. - I. Dan Melamed, Wei Wang:
Statistical Machine Translation by Parsing. - Shuvendu K. Lahiri, Randal E. Bryant:
Predicate Abstraction with Indexed Predicates. - Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche:
The semijoin algebra and the guarded fragment. - S. Ravichandran, M. N. Karthik:
Autogenic Training With Natural Language Processing Modules: A Recent Tool For Certain Neuro Cognitive Studies. - M. N. Karthik, Moshe Davis:
Search Using N-gram Technique Based Statistical Analysis for Knowledge Extraction in Case Based Reasoning Systems. - Alexander Barg:
Improved error bounds for the erasure/list scheme: the binary and spherical cases. - Alexander Barg, Andrew McGregor:
Distance distribution of binary codes and the error probability of decoding. - (Withdrawn) A Taxonomy and Survey of Grid Resource Planning and Reservation Systems for Grid Enabled Analysis Environment.
- Naveed Ahmad, Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ali Hassan, Ahsan Ikram, Frank van Lingen, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers:
Distributed Analysis and Load Balancing System for Grid Enabled Analysis on Hand-held devices using Multi-Agents Systems. - (Withdrawn) A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices.
- Tomoyuki Yamakami, Toshio Suzuki:
Resource Bounded Immunity and Simplicity. - Vadim Bulitko:
Learning for Adaptive Real-time Search. - Andrew Cantino, Fronefield Crawford, Saurav Dhital, John P. Dougherty, Reid Sherman:
A Low Cost Distributed Computing Approach to Pulsar Searches at a Small College. - Pritam Ganguly, Stephen A. Vavasis, Katerina D. Papoulia:
An algorithm for two-dimensional mesh generation based on the pinwheel tiling. - (Withdrawn) Stochastic fuzzy controller.
- Rina Panigrahy:
Minimum Enclosing Polytope in High Dimensions. - Sanjiang Li, Huaiqing Wang:
Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model. - Erik G. Boman, Bruce Hendrickson, Stephen A. Vavasis:
Solving Elliptic Finite Element Systems in Near-Linear Time with Support Preconditioners. - Rina Panigrahy:
Efficient Hashing with Lookups in two Memory Accesses. - Ioannis N. Athanasiadis, Pericles A. Mitkas:
An agent-based intelligent environmental monitoring system. - Pericles A. Mitkas, Andreas L. Symeonidis, Dionisis D. Kehagias, Ioannis N. Athanasiadis, Gokce Laleci, Gokhan Kurt, Yildiray Kabak, Aybar C. Acar, Asuman Dogac:
An agent framework for dynamic agent retraining: Agent academy. - Atsushi Fujii, Tetsuya Ishikawa:
Summarizing Encyclopedic Term Descriptions on the Web. - Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tetsuya Ishikawa:
Unsupervised Topic Adaptation for Lecture Speech Retrieval. - Tomoyosi Akiba, Atsushi Fujii, Katunobu Itou:
Effects of Language Modeling on Speech-driven Question Answering. - Alexandre d'Aspremont:
Static versus Dynamic Arbitrage Bounds on Multivariate Option Prices. - Wolfgang Anthony Eiden:
Scheduling with Fuzzy Methods. - Pavel Naumov:
On Modal Logics of Partial Recursive Functions. - Darran Nathan:
Exposing Software Defined Radio Functionality To Native Operating System Applications via Virtual Devices. - Vida Dujmovic, Attila Pór, David R. Wood:
Track Layouts of Graphs. - Paolo Liberatore:
On the Complexity of Case-Based Planning. - Shipra Agrawal, Jayant R. Haritsa:
A Framework for High-Accuracy Privacy-Preserving Mining. - David Eppstein:
All Maximal Independent Sets and Dynamic Dominance for Sparse Graphs. - Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar:
Generalized Evolutionary Algorithm based on Tsallis Statistics. - Purandar Bhaduri, S. Ramesh:
Model Checking of Statechart Models: Survey and Research Directions. - Jan Poland, Marcus Hutter:
On the Convergence Speed of MDL Predictions for Bernoulli Sequences. - Willem Jan van Hoeve, Michela Milano:
Decomposition Based Search - A theoretical and experimental evaluation. - Willem Jan van Hoeve:
Exploiting Semidefinite Relaxations in Constraint Programming. - Willem Jan van Hoeve, Michela Milano:
Postponing Branching Decisions. - Willem Jan van Hoeve:
A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint. - Michela Milano, Willem Jan van Hoeve:
Reduced cost-based ranking for generating promising subproblems. - Viktor Kuncak, Martin C. Rinard:
The First-Order Theory of Sets with Cardinality Constraints is Decidable. - Wojciech Skut, Stefan Ulrich, Kathrine Hammervold:
A Bimachine Compiler for Ranked Tagging Rules. - David N. Levin:
Channel-Independent and Sensor-Independent Stimulus Representations. - Justin Balthrop, Stephanie Forrest, Mark E. J. Newman, Matthew M. Williamson:
Technological networks and the spread of computer viruses. - Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs. - Bernhard K. Aichernig, Reinhold Kainhofer:
Modeling and Validating Hybrid Systems Using VDM and Mathematica. - G. Gordon Worley III:
Bug shallowness in open-source, Macintosh software. - Reinhold Kainhofer, Reinhard V. Simonovits:
M@th Desktop and MD Tools - Mathematics and Mathematica Made Easy for Students. - Salvatore Orlando, Raffaele Perego, Fabrizio Silvestri:
Design of a Parallel and Distributed Web Search Engine. - Giorgi Japaridze:
From truth to computability I. - Marco Pedicini, Francesco Quaglia:
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction. - Bill Rosgen, John Watrous:
On the hardness of distinguishing mixed-state quantum computations. - Marcus Hutter, Andrej Muchnik:
Universal Convergence of Semimeasures on Individual Random Sequences. - Michael A. Bender, David P. Bunde, Erik D. Demaine, Sándor P. Fekete, Vitus J. Leung, Henk Meijer, Cynthia A. Phillips:
Communication-Aware Processor Allocation for Supercomputers. - Sergey P. Tsarev:
On rational definite summation. - Andrea Montanari:
Tight bounds for LDPC and LDGM codes under MAP decoding. - Vincent D. Blondel, Anahí Gajardo, Maureen Heymans, Pierre Senellart, Paul Van Dooren:
A measure of similarity between graph vertices. - Xuehai Zhang, Jennifer M. Schopf:
Performance Analysis of the Globus Toolkit Monitoring and Discovery Service, MDS2. - Nadia M. Benbernou, Patricia Cahn, Joseph O'Rourke:
Unfolding Smooth Primsatoids. - Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. - Peter D. Turney:
Word Sense Disambiguation by Web Mining for Word Co-occurrence Probabilities. - M. Tentyukov, D. Fliegner, M. Frank, A. Onischenko, A. Retey, H. M. Staudenmaier, J. A. M. Vermaseren:
ParFORM: Parallel Version of the Symbolic Manipulation Program FORM. - Satoshi Kokado, Kikuo Harigaya:
A Theoretical Study on Spin-Dependent Transport of "Ferromagnet/Carbon Nanotube Encapsulating Magnetic Atoms/Ferromagnet" Junctions with 4-Valued Conductances. - Ken Loo:
Internal Turing Machines. - F. P. Zen, B. E. Gunara, W. Hidayat, Z. A. Thalib, H. Zainuddin, J. Aminuddin:
Application of Artificial Neural Network in Jitter Analysis of Dispersion-Managed Communication System. - S. Yu. Vernov:
Construction of Single-valued Solutions for Nonintegrable Systems with the Help of the Painleve Test. - Marie Lalire, Philippe Jorrand:
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics. - Kohtaro Tadaki:
An extension of Chaitin's halting probability Omega to measurement operator in infinite dimensional quantum system. - Sudhir Kumar Singh, R. Srikanth:
Assisted Quantum Secret Sharing.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.