Publications
Export 1669 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is B [Clear All Filters]
1997. The distributed information search component (disco) and the world wide web. Proc. of ACM SIGMOD Conf. on Management of Data.
1997. Dynamic priorities for modeling real-time. Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII’97). :321-336.
1997. Editorial: Evaluation and assessment in software engineering. Information and Software Technology. 39(11)
1997. Editorial: Evaluation and assessment in software engineering. Information and Software Technology. 39(11)
1997. If your version control system could talk. ICSE Workshop on Process Modelling and Empirical Studies of Software Engineering.
1997. Joint minimization of code and data for synchronous dataflow programs. Formal Methods in System Design. 11(1):41-70.
1997. KidPad: a design collaboration between children, technologists, and educators. Proceedings of the SIGCHI conference on Human factors in computing systems. :463-470.
1997. Learning parameterized models of image motion. Computer Vision and Pattern Recognition, 1997. Proceedings., 1997 IEEE Computer Society Conference on. :561-567.
1997. Local Rules for Protein Folding on a Triangular Lattice and Generalized Hydrophobicity in the HP Model. Journal of Computational Biology. 4(3):275-296.
1997. Optimizing synchronization in multiprocessor DSP systems. Signal Processing, IEEE Transactions on. 45(6):1605-1618.
1997. Query previews for networked information systems: a case study with NASA environmental data. SIGMOD Record. 26(1):75-81.
1997. Query previews in networked information systems: the case of EOSDIS. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :202-203.
1997. Recognition using region correspondences. International Journal of Computer Vision. 25(2):145-166.
1997. Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
1997. Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
1997. Toward motion picture grammars. Computer Vision — ACCV'98Computer Vision — ACCV'98. 1352:283-290.
1997. The vegetation canopy lidar mission. Proceedings of Land Satellite Information in the Next Decade, II: Sources and Applications. Bethesda (MD): American Society of Photogrammetry and Remote Sensing. :100-112.
1997. The vegetation canopy lidar mission. Proceedings of Land Satellite Information in the Next Decade, II: Sources and Applications. Bethesda (MD): American Society of Photogrammetry and Remote Sensing. :100-112.
1998. AQuA: an adaptive architecture that provides dependable distributed objects. Seventeenth IEEE Symposium on Reliable Distributed Systems. :245-253.
1998. AQuA: an adaptive architecture that provides dependable distributed objects. Seventeenth IEEE Symposium on Reliable Distributed Systems. :245-253.