default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, November 2003
- Bernhard Peischl, Franz Wotawa:
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach. - Florence Benoy, Andy King, Frédéric Mesnard:
Computing Convex Hulls with a Linear Solver. - Maurice Bruynooghe:
Enhancing a Search Algorithm to Perform Intelligent Backtracking. - Ali Abbas, Jim Matheson:
Utility-Probability Duality. - David S. H. Rosenthal:
On The Cost Distribution of a Memory Bound Function. - Allison Woodruff, Paul M. Aoki:
How Push-To-Talk Makes Talk Less Pushy. - Simona Perri, Nicola Leone:
Parametric Connectives in Disjunctive Logic Programming. - Ralf Schweimeier, Michael Schroeder:
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. - Andrey Demichev, David Foster, V. Kalyaev, Alexander P. Kryukov, Massimo Lamanna, Viktor Pose, Ricardo Brito Da Rocha, Claude Wang:
OGSA/Globus Evaluation for Data Intensive Applications. - V. Kalyaev, Alexander P. Kryukov:
Problem of Application Job Monitoring in GRID Systems. - Santos B. Yuste, L. Acedo:
On an explicit finite difference method for fractional diffusion equations. - Rui Carvalho, Michael Batty:
A rigorous definition of axial lines: ridges on isovist fields. - Vamsi Paruchuri, Arjan Durresi, Raj Jain:
Optimized Flooding Protocol for Ad hoc Networks. - Marcus Hutter:
Optimality of Universal Bayesian Sequence Prediction for General Loss and Alphabet. - Liang Wang, Yiping Guo, Ming Fang:
Make search become the internal function of Internet. - Erwan Jahier, Mireille Ducassé:
Generic and Efficient Program Monitoring by trace analysis. - Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul:
2 P2P or Not 2 P2P? - Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. - Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson, Roger Mellander, Ingemar Reiyer, Mattias Kallvi:
Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies. - Kai-Min Chung, Hsueh-I Lu:
An Optimal Algorithm for the Maximum-Density Segment Problem. - L. Shamardin:
LCG-1 Deployment and usage experience. - Massimo Franceschet, Angelo Montanari:
Temporalized logics and automata for time granularity. - Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
The Chameleon Type Debugger (Tool Demonstration). - Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. - Katarzyna Keahey, Von Welch, Sam Lang, B. Liu, Sam Meder:
Fine-Grained Authorization for Job Execution in the Grid: Design and Implementation. - Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. - Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. - Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. - Michael Narayan, Christopher Williams, Saverio Perugini, Naren Ramakrishnan:
Staging Transformations for Multimodal Web Interaction Management. - Zoë Abrams, Ashish Goel, Serge A. Plotkin:
Set K-Cover Algorithms for Energy Efficient Monitoring in Wireless Sensor Networks. - J. Gerard Wolff:
Towards an Intelligent Database System Founded on the SP Theory of Computing and Cognition. - Oleg Mazonka, Daniel B. Cristofani:
A Very Short Self-Interpreter. - Solomija N. Buk, Andrij A. Rovenchak:
The Rank-Frequency Analysis for the Functional Style Corpora in the Ukrainian Language. - Gibby Koldenhof:
Visualization of variations in human brain morphology using differentiating reflection functions. - Milenko Petrovic, Mokhtar Aboelaze:
Improving TCP/IP Performance over Wireless IEEE 802.11 Link. - Dinoj Surendran, Partha Niyogi:
Measuring the Functional Load of Phonological Contrasts. - Aaron Searle, K. John Gough, David Abramson:
DUCT: An Interactive Define-Use Chain Navigation Tool for Relative Debugging. - Wolfgang May:
XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language. - Zhide Chen, Hong Zhu:
Quantum m-out-of-n Oblivious Transfer. - Zoltan Somogyi:
Idempotent I/O for safe time travel. - Milenko Petrovic, Ioana Burcea, Hans-Arno Jacobsen:
S-ToPSS: Semantic Toronto Publish/Subscribe System. - Adam R. Klivans, Rocco A. Servedio:
Toward Attribute Efficient Learning Algorithms. - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. - Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. - J. Gerard Wolff:
Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search. - Jan Odelstad, Magnus Boman:
Algebras for Agent Norm-Regulation. - Ioana Burcea, Milenko Petrovic, Hans-Arno Jacobsen:
I know what you mean: semantic issues in Internet-scale publish/subscribe systems. - Deept Kumar, Naren Ramakrishnan, Malcolm Potts, Richard F. Helm:
Turning CARTwheels: An Alternating Algorithm for Mining Redescriptions. - Milenko Petrovic, Mokhtar Aboelaze:
Performance of TCP/UDP under Ad Hoc IEEE802.11. - Max Voskob, Nuck Punin:
Data mining and Privacy in Public Sector using Intelligent Agents (discussion paper). - Amar Isli:
Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation. - Wen-Yu Dong, Ke Xu, Mengxiang Lin:
A Situation Calculus-based Approach To Model Ubiquitous Information Services. - Dima Grigoriev:
Weak Bezout inequality for D-modules. - Douglas A. Galbi:
Copyright and Creativity: Authors and Photographers. - Mireille Boutin, Gregor Kemper:
Which Point Configurations are Determined by the Distribution of their Pairwise Distances? - Vladimir Shpilrain:
Assessing security of some group based cryptosystems. - Carmen Cortés, Clara I. Grima, Ferran Hurtado, Alberto Márquez, Francisco Santos, Jesus Valenzuela:
Transforming triangulations of polygons on non planar surfaces. - Carlos Gershenson:
Phase Transitions in Random Boolean Networks with Different Updating Schemes. - Alexander Kraskov, Harald Stögbauer, Ralph G. Andrzejak, Peter Grassberger:
Hierarchical Clustering Using Mutual Information. - Scott Aaronson:
Multilinear Formulas and Skepticism of Quantum Computing. - Antonio Acín, J. Ignacio Cirac, Lluis Masanes:
Multipartite Bound Information exists and can be activated. - Alexander Kraskov, Harald Stögbauer, Ralph G. Andrzejak, Peter Grassberger:
Hierarchical Clustering Based on Mutual Information. - E. Ben-Naim, Paul L. Krapivsky, Sidney Redner:
Extremal Properties of Random Structures.
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-02-10 21:35 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:
