Publications

Export 124 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is Computer science  [Clear All Filters]
1982
Roussopoulos N.  1982.  The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
1988
Roussopoulos N, Faloutsos C, Sellis T.  1988.  An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering. 14(5):639-650.
1989
Yacoob Y, Gold YI.  1989.  3D object recognition via simulated particles diffusion. IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989. Proceedings CVPR '89. :442-449.
1990
Cleaveland R, Steffen B.  1990.  When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1991
Grant J, Litwin W, Roussopoulos N, Sellis T.  1991.  An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
Jensen CS, Mark L, Roussopoulos N.  1991.  Incremental implementation model for relational databases with transaction time. IEEE Transactions on Knowledge and Data Engineering. 3(4):461-473.
Hua KA, Hannenhalli S.  1991.  Parallel transitive closure computations using topological sort. , Proceedings of the First International Conference on Parallel and Distributed Information Systems, 1991. :122-129.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Shneiderman B.  1991.  Touch screens now offer compelling uses. IEEE Software. 8(2):93-94.
Johnson B, Shneiderman B.  1991.  Tree-maps: a space-filling approach to the visualization of hierarchical information structures. , IEEE Conference on Visualization, 1991. Visualization '91, Proceedings. :284-291.
Litwin WA, Roussopoulos N, Levy G, Hong W.  1991.  Trie hashing with controlled load. IEEE Transactions on Software Engineering. 17(7):678-691.
1992
Chandrasekharan N, Hannenhalli S.  1992.  Efficient algorithms for computing matching and chromatic polynomials on series-parallel graphs. , Fourth International Conference on Computing and Information, 1992. Proceedings. ICCI '92. :42-45.
Herve J-Y, Aloimonos Y.  1992.  Exploratory active vision: theory. Proceedings of 1992 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1992. :10-15.
1993
Hannenhalli S, Perumalla K, Chandrasekharan N, Sridhar R.  1993.  A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
1994
Oard D, DeClaris N, Dorr BJ, Faloutsos C.  1994.  On automatic filtering of multilingual texts. , 1994 IEEE International Conference on Systems, Man, and Cybernetics, 1994. 'Humans, Information and Technology'. 2:1645-1650vol.2-1645-1650vol.2.
Srinivasan A, Zuckerman D.  1994.  Computing with very weak random sources. , 35th Annual Symposium on Foundations of Computer Science, 1994 Proceedings. :264-275.
Borah M, Bajwa RS, Hannenhalli S, Irwin MJ.  1994.  A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.
Kaâniche M, Kanoun K, Cukier M, Martini M.  1994.  Software reliability analysis of three successive generations of a Switching System. Dependable Computing — EDCC-1. 852:471-490.
1995
Kelly W, Pugh W, Rosser E.  1995.  Code generation for multiple mappings. Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the. :332-341.
Porter A, Votta LG, Basili VR.  1995.  Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Oard D, DeClaris N, Dorr BJ, Faloutsos C, Marchionini G.  1995.  Experimental investigation of high performance cognitive and interactive text filtering. , IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. 5:4398-4403vol.5-4398-4403vol.5.
Fermüller C, Aloimonos Y.  1995.  Global rigidity constraints in image displacement fields. , Fifth International Conference on Computer Vision, 1995. Proceedings. :245-250.
Fermüller C, Aloimonos Y.  1995.  Global rigidity constraints in image displacement fields. Proceedings of Fifth International Conference on Computer Vision, 1995. :245-250.
Pugh W, Wonnacott D.  1995.  Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.

Pages