Publications
Export 1669 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is B [Clear All Filters]
2005. DSP address optimization using evolutionary algorithms. Proceedings of the 2005 workshop on Software and compilers for embedded systems. :91-98.
2005. Dynamic configuration of dataflow graph topology for DSP system design. Proc. of the Int. Conf. on Acoustics, Speech, and Signal Processing. :69-72.
2003. Dynamic querying for pattern identification in microarray and genomic data. 2003 International Conference on Multimedia and Expo, 2003. ICME '03. Proceedings. 3:III-453-6vol.3-III-453-6vol.3.
2003. Dynamic rebinding for marshalling and update, with destruct-time ? Proceedings of the eighth ACM SIGPLAN international conference on Functional programming. :99-110.
2010. The effect of packet loss on redundancy elimination in cellular wireless networks. Proceedings of the 10th annual conference on Internet measurement. :294-300.
2008. Effective label acquisition for collective classification. Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining. :43-51.
2005. Efficient geographic routing in multihop wireless networks. Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing. :230-241.
2005. Efficient geographic routing in multihop wireless networks. Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing. :230-241.
2007. Efficient Indexing For Articulation Invariant Shape Matching And Retrieval. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
2005. Efficient lookup on unstructured topologies. Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing. :77-86.
2002. Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
1992. Efficient minimum cost matching using quadrangle inequality. Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on. :583-592.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
2003. Efficient particle filter-based tracking of multiple interacting targets using an MRF-based motion model. 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. 1:254-259vol.1.
1999. Efficient perspective-accurate silhouette computation. Proceedings of the fifteenth annual symposium on Computational geometry. :417-418.
2001. Efficient perspective-accurate silhouette computation and applications. Proceedings of the seventeenth annual symposium on Computational geometry. :60-68.
2006. Efficient simulation of critical synchronous dataflow graphs. Proceedings of the 43rd annual Design Automation Conference. :893-898.
2010. Efficient static buffering to guarantee throughput-optimal FPGA implementation of synchronous dataflow graphs. 2010 International Conference on Embedded Computer Systems (SAMOS). :136-143.
2001. An efficient system for multi-perspective imaging and volumetric shape analysis. Proceedings of the 2001 Workshop on Parallel and Distributed Computing in Imaging Processing, Video Processing, and Multimedia.
2003. Electronic voting system usability issues. Proceedings of the SIGCHI conference on Human factors in computing systems. :145-152.
2002. Empirical evaluation of techniques and methods used for achieving and assessing software high dependability. Proc. DSN Workshop on Dependability Benchmarking.
2002. Empirical evaluation of techniques and methods used for achieving and assessing software high dependability. Proc. DSN Workshop on Dependability Benchmarking.