Publications

Export 231 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is L  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
Zhu G, Doermann D.  2009.  Logo Matching for Document Image Retrieval. International Conference on Document Analysis and Recognition (ICDAR 2009). :606-610.
Grant J, Gryz J, Minker J, Raschid L.  2000.  Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
Grant J, Kraus S, Perlis D.  2005.  A logic-based model of intention formation and action for multi-agent subcontracting. Artificial Intelligence. 163(2):163-201.
Minker J.  2000.  Logic-Based Artificial Intelligence.
Grant J, Minker J.  2002.  A logic-based approach to data integration. Theory Pract. Log. Program.. 2(3):323-368.
Liang J, Doermann D.  2002.  Logical Labeling of Document Images Using Layout Graph Matching with Adaptive Learning. IAPR Conference on Document Analysis System. :212-223.
Roussopoulos N.  1982.  The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
Anderson ML, Perlis D.  2005.  Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.
Yaman F, Nau DS, V.S. Subrahmanian.  2004.  A logic of motion. :85-94.
Ruiz C, Minker J.  1998.  Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
Refaey MA, Abd-Almageed W, Davis LS.  2008.  A Logic Framework for Sports Video Summarization Using Text-Based Semantic Annotation. Semantic Media Adaptation and Personalization, 2008. SMAP '08. Third International Workshop on. :69-75.
Spivey G, Bhattacharyya SS, Nakajima K.  2003.  Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Signal Process.. 2003:565-579.
Grant J, Kraus S, Perlis D.  2000.  A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
Minker J.  1997.  Logic and Databases Past, Present, and Future. AI Magazine. 18(3):21-21.
Minker J.  1999.  Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
Minker J.  1996.  Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.
Perlis D.  1993.  Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
Pratikakis P, Foster JS, Hicks MW.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Pratikakis P, Foster JS, Hicks MW.  2006.  LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
Hicks MW, Foster JS, Pratikakis P.  2006.  Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
Feamster N, Dingledine R.  2004.  Location diversity in anonymity networks. Proceedings of the 2004 ACM workshop on Privacy in the electronic society. :66-76.
Mihaila GA, Raschid L, Tomasic A.  2002.  Locating and accessing data repositories with WebSemantics. The VLDB journal. 11(1):47-57.
Landau GM, Vishkin U, Nussinov R.  1988.  Locating alignments with k differences for nucleotide and amino acid sequences. Computer applications in the biosciences: CABIOS. 4(1):19-19.
Turaga P, Chellappa R.  2009.  Locally time-invariant models of human activities using trajectories on the grassmannian. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2435-2441.
Sauvola JJ, Doermann D, Pietikaeinen M.  1997.  Locally adaptive document skew detection. Proceedings of SPIE. 3027(1):96-108.

Pages