Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Journal Articles
Young D, Shneiderman B.  1993.  A graphical filter/flow representation of Boolean queries: A prototype implementation and evaluation. Journal of the American Society for Information Science. 44(6):327-339.
Khuller S, Rivlin E, Rosenfeld A.  1995.  Graphbots: Mobility in discrete spaces. Automata, Languages and Programming. :593-604.
Heller J, Shneiderman B.  1972.  A graph theoretic model of data structures. SIGIR Forum. 7(4):36-44.
Getoor L.  2010.  Graph Identification. Advances in Intelligent Data Analysis IX: 9th International Symposium. :6-6.
Khuller S, Raghavachari B.  1996.  Graph and network algorithms. ACM Computing Surveys. 28(1):43-45.
Shneiderman B.  1997.  A grander goal: A thousand-fold increase in human capabilities. Educom review. 32(6):4-10.
Boyd-Graber J, Sayeed AB, Rusk B, Weinberg A.  2012.  Grammatical structures for word-level sentiment detection. North American Association of Computational Linguistics.
Patel VM, Maleh R, Gilbert AC, Chellappa R.  2012.  Gradient-based Image Recovery Methods from Incomplete Fourier Measurements. IEEE Transactions on Image Processing. PP(99):1-1.
Stewart G.W.  1995.  On graded QR decompositions of products of matrices. Electronic Transactions on Numerical Analysis. 3:39-49.
Srinivasan BV, Hu Q, Duraiswami R.  2010.  GPUML: Graphical processors for speeding up kernel machines. Workshop on High Performance Analytics-Algorithms, Implementations, and Applications.
Punch WF, Rand W.  2000.  GP+ echo+ subsumption= improved problem solving. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2000). :411-418.
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.
Lohani S, Bhattacharyya SS.  2003.  Goal-Driven Reconfiguration of Polymorphous Architectures. Domain-specific processors: systems, architectures, modeling, and simulation. 20:151-151.
Basili VR, Caldiera G, Rombach HD.  2006.  The Goal Question Metric Approach. 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE’06).
Chandra R, Lefever RM, Joshi KR, Cukier M, Sanders WH.  2004.  A global-state-triggered fault injector for distributed system evaluation. Parallel and Distributed Systems, IEEE Transactions on. 15(7):593-605.
Blanco MAndres, LeRoy G, Khan Z, Alečković M, Zee BM, Garcia BA, Kang Y.  2012.  Global secretome analysis identifies novel mediators of bone metastasis. Cell Research. 22(9):1339-1355.
Colwell RR.  2005.  Global microbial ecology of Vibrio cholerae. Oceans and health: pathogens in the marine environment. :297-305.
Pruzzo C, Vezzulli L, Colwell RR.  2008.  Global impact of Vibrio cholerae interactions with chitin. Environmental Microbiology. 10(6):1400-1410.
Akanda AS, Jutla AS, Colwell RR.  2014.  Global diarrhoea action plan needs integrated climate-based surveillance. The Lancet Global Health. 2(2):e69-e70.
Shneiderman B.  2010.  Getting serious about social media: strategies for increasing civic participation. Proceedings of HCI.
Yacoob Y, Davis LS.  2001.  Gesture-Driven Control of Spaces and Objects in Collaborative Augmented Reality. GMD–Forschungszentrum Informationstechnik GmbH. :49-49.
Hao X, Varshney A.  2006.  Geometry-guided computation of 3D electrostatics for large biomolecules. Computer Aided Geometric Design. 23(6):545-557.
Lee CH, Hao X, Varshney A.  2006.  Geometry-dependent lighting. Visualization and Computer Graphics, IEEE Transactions on. 12(2):197-207.
Fermüller C, Aloimonos Y.  1997.  On the Geometry of Visual Correspondence. International Journal of Computer Vision. 21(3):223-247.
Bertotti G, Mayergoyz ID, Serpico C, d'Aquino M.  2003.  Geometrical analysis of precessional switching and relaxation in uniformly magnetized bodies. Magnetics, IEEE Transactions on. 39(5):2501-2503.

Pages