default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, May 2005
- Roberto da Silva, Alexandre Tavares Baraviera, Silvio R. Dahmen:
Modelling investment in artificial stock markets: Analytical and Numerical Results. - Martin Grohe, Christoph Koch, Nicole Schweikardt:
Tight Lower Bounds for Query Processing on Streaming and External Memory Data. - Xiaofei Huang:
A New Kind of Hopfield Networks for Finding Global Optimum. - Sergei Kojarski, David H. Lorenz:
Pluggable AOP: Designing Aspect Mechanisms for Third-party Composition. - Jan van der Veen, Sándor P. Fekete, Ali Ahmadinia, Christophe Bobda, Frank Hannig, Jürgen Teich:
Defragmenting the Module Layout of a Partially Reconfigurable Device. - Emanuel Diamant:
Searching for image information content, its discovery, extraction, and representation. - Dragos Trinca:
Adaptive Codes: A New Class of Non-standard Variable-length Codes. - Annette Kuhlmann, Ralf-Michael Vetter, Christoph Lübbing, Clemens-August Thole:
Data Mining on Crash Simulation Data. - Arindam Mitra:
Human brain and classical computer can generate true random numbers through algorithmic process. - Neri Merhav, Jacob Ziv:
On the Wyner-Ziv problem for individual sequences. - Tony Chang, Damon J. Cook, Ramona E. Su:
SWiM: A Simple Window Mover. - Neri Merhav:
On the Shannon cipher system with a capacity-limited key-distribution channel. - Phuong Nguyen, Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes. - Haibin Wang, Florentin Smarandache
, Yan-Qing Zhang, Rajshekhar Sunderraman:
Interval Neutrosophic Sets and Logic: Theory and Applications in Computing. - Tomasz Suslo:
Complex Mean and Variance of Linear Regression Model for High-Noised Systems by Kriging. - Shashank Araokar:
Visual Character Recognition using Artificial Neural Networks. - Manuel Abellanas, Mercè Claverol, Ferran Hurtado:
Point set stratification and Delaunay depth. - Jean-François Mari, Florence Le Ber:
Temporal and Spatial Data Mining with Second-Order Hidden Models. - Nitin Malik:
Artificial Neural Networks and their Applications. - Thomas Zemen, Stefan M. Moser:
Asymptotic Capacity Results for Non-Stationary Time-Variant Channels Using Subspace Projections. - Artur Rataj:
Distant generalization by feedforward neural networks. - Hideki Ochiai, Patrick Mitran, H. Vincent Poor, Vahid Tarokh:
Collaborative Beamforming for Distributed Wireless Ad Hoc Sensor Networks. - Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets. - Riccardo Pucella:
Logic Column 12: Logical Verification and Equational Verification. - Antonín Kucera, Petr Jancar:
Equivalence-Checking on Infinite-State Systems: Techniques and Results. - Moreno Falaschi, Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs. - Vincent Lefèvre:
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). - István Miklós, Irmtraud M. Meyer:
A linear memory algorithm for Baum-Welch training. - (Withdrawn) Automated Improvement for Component Reuse.
- Arne Storjohann, Gilles Villard:
Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix. - Rudini Menezes Sampaio, Horacio Hideki Yanasse:
Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de Informacoes Geograficas. - Ron Dabora, Sergio D. Servetto:
Broadcast Channels with Cooperating Decoders. - Ahmed Bouajjani, Agathe Merceron:
Parametric Verification of a Group Membership Algorithm. - Russell O'Connor:
Essential Incompleteness of Arithmetic Verified by Coq. - Hubie Chen, Víctor Dalmau:
Beyond Hypertree Width: Decomposition Methods Without Decompositions. - Martín Matamala, Eduardo Moreno:
Minimal Eulerian trail in a labeled digraph. - Venanzio Capretta:
General Recursion via Coinductive Types. - Albrecht Schmidt, Christian S. Jensen:
Efficient Management of Short-Lived Data. - Judit Bar-Ilan, Mazlita Mat-Hassan, Mark Levene:
Methods for comparing rankings of search engine results. - Serban E. Vlad:
Asynchronous pseudo-systems. - Yongming Li, Sanjiang Li, Mingsheng Ying:
Relational reasoning in the region connection calculus. - Matthew G. Earl, Raffaello D'Andrea:
Iterative MILP Methods for Vehicle Control Problems. - (Withdrawn) Estimacao Temporal da Deformacao entre Objectos utilizando uma Metodologia Fisica.
- Luís B. Almeida:
Separating a Real-Life Nonlinear Image Mixture. - K. Madhava Krishna, Henry Hexmoor, Shravan Kumar Sogani:
A T Step Ahead Optimal Target Detection Algorithm for a Multi Sensor Surveillance System. - Ignacio Melgar, Jaime Gómez, Juan Seijas:
Optimum Signal Linear Detector in the Discrete Wavelet Transform-Domain. - David R. Wood:
A Simple Proof of the F{á}ry-Wagner Theorem. - David Eppstein, Michael T. Goodrich, Daniel S. Hirschberg:
Improved Combinatorial Group Testing Algorithms for Real-World Problem Sizes. - Dumitru Mihai Ionescu, Zhiyuan Yan:
Fading-Resilient Super-Orthogonal Space-Time Signal Sets: Can Good Constellations Survive in Fading? - Manuel Arturo Izquierdo:
The QDF file format: an electronic system to describe ancient andean khipus. - Jaime Gómez, Ignacio Melgar, Juan Seijas, Diego Andina:
Sub-Optimum Signal Linear Detector Using Wavelets and Support Vector Machines. - Jaime Gómez, Ignacio Melgar, Juan Seijas:
Upgrading Pulse Detection with Time Shift Properties Using Wavelets and Support Vector Machines. - Jaime Gómez, Ignacio Melgar, Juan Seijas:
Wavelet Time Shift Properties Integration with Support Vector Machines. - Mostafa El-Khamy, Robert J. McEliece:
The Partition Weight Enumerator of MDS Codes and its Applications. - Kooshiar Azimian, Javad Mohajeri, Mahmoud Salmasizadeh, Siamak Fayyaz Shahandashti:
A Verifiable Partial Key Escrow, Based on McCurley Encryption Scheme. - Udayan Khurana, Anirudh Koul:
Text Compression and Superfast Searching. - Gil Wiechman, Igal Sason:
Improved Bounds on the Parity-Check Density and Achievable Rates of Binary Linear Block Codes with Applications to LDPC Codes. - Patrick C. McGuire, Enrique Díaz Martínez, Jens Ormö, Javier Gómez-Elvira, José Antonio Rodríguez Manfredi, Eduardo Sebastián-Martínez, Helge J. Ritter, Robert Haschke, Markus Oesker, Jörg Ontrup:
The Cyborg Astrobiologist: Scouting Red Beds for Uncommon Features with Geological Significance. - Sergio Flesca, Filippo Furfaro, Francesco Parisi:
Consistent query answers on numerical databases under aggregate constraints. - Zengyou He, Xiaofei Xu, Shengchun Deng:
A Unified Subspace Outlier Ensemble Framework for Outlier Detection in High Dimensional Spaces. - Dragos Trinca:
EAH: A New Encoder based on Adaptive Variable-length Codes. - Ravi Sankar Veerubhotla, Ashutosh Saxena, Ved Prakash Gulati, Arun K. Pujari:
Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing. - Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. - Patrick C. McGuire, Jannik Fritsch, Jochen J. Steil, Frank Röthling, Gernot A. Fink, Sven Wachsmuth, Gerhard Sagerer, Helge J. Ritter:
Multi-Modal Human-Machine Communication for Instructing Robot Grasping Tasks. - Xiao-Feng Xie, Wenjun Zhang, Zhilian Yang:
A dissipative particle swarm optimization. - Udayan Khuarana:
Decision Sort and its Parallel Implementation. - Xiao-Feng Xie, Wen-Jun Zhang, De-Chun Bi:
Optimizing semiconductor devices by self-organizing particle swarm. - Xiao-Feng Xie, Wenjun Zhang, De-Chun Bi:
Handling equality constraints by adaptive relaxing rule for swarm algorithms. - Wen-Jun Zhang, Xiao-Feng Xie, De-Chun Bi:
Handling boundary constraints for numerical optimization by particle swarm flying in periodic search space. - Xiao-Feng Xie, Wen-Jun Zhang:
SWAF: Swarm Algorithm Framework for Numerical Optimization. - Taneli Mielikäinen:
Summarization Techniques for Pattern Collections in Data Mining. - Weiming Zhang, Shiqu Li:
Steganographic Codes -- a New Problem of Coding Theory. - Stéphane Demri, David Nowak:
Reasoning about transfinite sequences. - Stijn Dekeyser, Jan Hidders, Jan Paredaens, Roel Vercammen:
Instance-Independent View Serializability for Semistructured Databases. - Yongxi Cheng, Xi Chen, Yiqun Lisa Yin:
On Searching a Table Consistent with Division Poset. - Marats Golovkins:
On the Solution of Graph Isomorphism by Dynamical Algorithms. - Shlomo Moran, Sagi Snir:
Efficient Approximation of Convex Recolorings. - Gil Wiechman, Igal Sason:
On the Parity-Check Density and Achievable Rates of LDPC Codes. - Boris Ryabko, Jaakko Astola, Alex Gammerman:
Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series. - Olga Rudenko, Marc Schoenauer:
Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms. - Sabine Bruaux, Gilles Kassel, Gilles Morel:
An ontological approach to the construction of problem-solving models. - Boaz Tsaban:
Fast generators for the Diffie-Hellman key agreement protocol and malicious standards. - Vladimir Vovk, Akimichi Takemura, Glenn Shafer:
Defensive forecasting. - Valentin E. Brimkov, Angelo Maimone, Giorgio Nordo:
An explicit formula for the number of tunnels in digital objects. - Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
Improving PARMA Trailing. - Mercè Llabrés, Jairo Rocha, Francesc Rosselló, Gabriel Valiente:
On the Ancestral Compatibility of Two Phylogenetic Trees with Nested Taxa. - Michael Soltys:
Feasible Proofs of Matrix Properties with Csanky's Algorithm. - Rodrigo S. C. Leão, Valmir Carneiro Barbosa:
6-cycle double covers of cubic graphs. - Sergey N. Dorogovtsev, J. F. F. Mendes, A. M. Povolotsky, Alexander N. Samukhin:
Organization of complex networks without multiple connections. - Massimo Di Pierro:
Parallel Programming with Matrix Distributed Processing. - Erik Palmgren:
Internalising modified realisability in constructive type theory. - Vladimir Shpilrain, Alexander Ushakov:
Thompson's group and public key cryptography. - Ilia Binder, Mark Braverman, Michael Yampolsky:
On computational complexity of Riemann mapping. - Carlos Gershenson:
A General Methodology for Designing Self-Organizing Systems. - Mason A. Porter, Peter J. Mucha, M. E. J. Newman, Casey M. Warmbrand:
A network analysis of committees in the United States House of Representatives. - Ercan Erturk, Bahtiyar Dursun:
Numerical Solutions of 2-D Steady Incompressible Flow in a Driven Skewed Cavity. - Hugues Berry, Olivier Temam:
Characterizing Self-Developing Biological Neural Networks: A First Step Towards their Application To Computing Systems. - Peter T. Hraber, Bette T. Korber, Steven Wolinsky, Henry A. Erlich, Elizabeth A. Trachtenberg, Thomas B. Kepler:
HLA and HIV Infection Progression: Application of the Minimum Description Length Principle to Statistical Genetics. - Dmitry Gavinsky:
A Note on Shared Randomness and Shared Entanglement in Communication. - H. Bechmann-Pasquinucci, Andrea Pasquinucci:
Quantum key distribution with trusted quantum relay. - Ronald de Wolf:
Lower Bounds on Matrix Rigidity via a Quantum Argument.
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.
last updated on 2025-12-09 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
