SCR3: towards usability of formal methods
M. Chechik · Proceedings of CASCON'98, December 1998, pp. 177-191 · 1999
Abstract onlyNot checked
Computer Science
Filters3 filters applied
Topic
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
460 papersQuestions on this topic
Boolean Operations, Joins, and the Extended Low Hierarchy
Lane A. Hemaspaandra, Zhigen Jiang, Joerg Rothe et al. · Theoretical Computer Science vol. 205, no. 1-2, pp. 317--327, 1998 · 1999
Abstract onlyNot checked
Finding an ordinary conic and an ordinary hyperplane
Olivier Devillers, Asish Mukhopadhyay · 1999
Abstract onlyNot checked
The Rough Guide to Constraint Propagation
Krzysztof R. Apt · 1999
Abstract onlyNot checked
Managing Object-Oriented Integration and Regression Testing
Mario Winter · 1999
Abstract onlyNot checked
Using Collective Intelligence to Route Internet Traffic
David H. Wolpert, Kagan Tumer, Jeremy Frank · Advances in Information Processing Systems - 11, eds M. Kearns, S. Solla, D. Cohn, MIT Press, 1999 · 1999
Abstract onlyNot checked
Locked and Unlocked Polygonal Chains in 3D
T. Biedl, E. Demaine, M. Demaine et al. · 1999
Abstract onlyNot checked
Object Oriented and Functional Programming for Symbolic Manipulation
Alexander Yu. Vlasov · 1999
Abstract onlyNot checked
Collective Choice Theory in Collaborative Computing
Walter Eaves · 1999
Abstract onlyNot checked
Events in Property Patterns
M. Chechik, D. Paun · Lecture notes in Computer Science (Proceedings of 6 Spin'99 Workshop) · 1999
Abstract onlyNot checked
Transducers from Rewrite Rules with Backreferences
Dale Gerdemann, Gertjan van Noord · 1999
Abstract onlyNot checked
Probabilistic Agent Programs
Juergen Dix, Mirco Nanni, VS Subrahmanian · 1999
Abstract onlyNot checked
The syntactic processing of particles in Japanese spoken language
Melanie Siegel · Proceedings of the 13th Pacific Asia Conference on Language, Information and Computation. 1999 · 1999
Abstract onlyNot checked
Pronoun Resolution in Japanese Sentences Using Surface Expressions and Examples
M. Murata, H. Isahara, M. Nagao · ACL'99 Workshop on 'Coreference and Its Applications', Maryland, USA, June 22, 1999 · 1999
Abstract onlyNot checked
Safe Deals Between Strangers
H. M. Gladney · 1999
Abstract onlyNot checked
Learning Transformation Rules to Find Grammatical Relations
Lisa Ferro, Marc Vilain, Alexander Yeh · Computational Natural Language Learning (CoNLL-99), pages 43-52, June, 1999. Bergen, Norway · 1999
Abstract onlyNot checked
A Discipline of Evolutionary Programming
Paul Vitanyi · Theoret. Comp. Sci., 241:1-2 (2000), 3--23. · 1999
Abstract onlyNot checked
Algorithms of Two-Level Parallelization for DSMC of Unsteady Flows in Molecular Gasdynamics
Alexander V. Bogdanov, Nick Yu. Bykov, Igor A. Grishin et al. · 1999
Abstract onlyNot checked
Cox's Theorem Revisited
Joseph Y. Halpern · Journal of AI Research, vol. 11, 1999, pp. 429-435 · 1999
Abstract onlyNot checked
Construction of regular languages and recognizability of polynomials
Michel Rigo · 1999
Abstract onlyNot checked