Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2005. Algorithmic and architectural design methodology for particle filters in hardware. Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005. Proceedings. 2005 IEEE International Conference on. :275-280.
2003. Accessing diverse geo-referenced data sources with the SAND spatial DBMS. Proceedings of the 2003 annual national conference on Digital government research. :1-4.
2011. Distributed Sensing and Processing for Multi-Camera Networks. Distributed Video Sensor NetworksDistributed Video Sensor Networks. :85-101.
2005. Tracking objects in video using motion and appearance models. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 2:II-394-7-II-394-7.
2008. Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. Image Processing, IEEE Transactions on. 17(5):737-748.
2009. TwitterStand: news in tweets. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :42-51.
2007. A fast all nearest neighbor algorithm for applications involving large point-clouds. Computers & Graphics. 31(2):157-174.
2009. Distance Oracles for Spatial Networks. Data Engineering, 2009. ICDE '09. IEEE 25th International Conference on. :652-663.
2016. Chitin promotes Mycobacterium ulcerans growth. FEMS Microbiology Ecology. 928565871(6):fiw067.
1991. DTP: An Efficient Transport Protocol. In Proceedings of the IFIP TC6 Working Conference on ComACM Computing Surveys. :91-133.
2012. Prototyping scalable digital signal processing systems for radio astronomy using dataflow models. Radio Science. 47(3):n/a-n/a.
2010. Simulating dynamic communication systems using the core functional dataflow model. 2010 IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP). :1538-1541.
2011. Topological Patterns for Scalable Representation and Analysis of Dataflow Graphs. Journal of Signal Processing Systems. 65(2):229-244.
2010. Scalable representation of dataflow graph structures using topological patterns. 2010 IEEE Workshop on Signal Processing Systems (SIPS). :13-18.
1999. Agents vs. direct manipulation: what's best to disentangle the Web? Proceedings of the eighth international conference on World Wide Web.
1999. Agents vs. direct manipulation: what's best to disentangle the Web? Computer Networks: The International Journal of Computer and Telecommunications Networking. 31(11-16):1765-1767.
2005. Scalable data collection infrastructure for digital government applications. Proceedings of the 2005 national conference on Digital government research. :305-306.
2011. Adapting a map query interface for a gesturing touch screen interface. Proceedings of the 20th international conference companion on World wide web. :257-260.
2002. Octree approximation and compression methods. Proc. of the 1st Intl. Symp. on 3D Data Processing, Visualization, and Transmission.
2008. Complexity and Accessibility: Sorting in space: multidimensional, spatial, and metric data structures for CG applications. International Conference on Computer Graphics and Interactive Techniques.
2003. Depth-first k-nearest neighbor finding using the MaxNearestDist estimator. Image Analysis and Processing, 2003.Proceedings. 12th International Conference on. :486-491.
2009. Review of Spatial Databases and Geographic Information Systems. Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD’09). 23:26-26.