The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for annotations with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1988 (18) 1989-1991 (19) 1992-1994 (30) 1995 (18) 1996 (21) 1997 (19) 1998 (39) 1999 (48) 2000 (75) 2001 (74) 2002 (126) 2003 (107) 2004 (204) 2005 (274) 2006 (346) 2007 (352) 2008 (430) 2009 (340) 2010 (199) 2011 (127) 2012 (149) 2013 (167) 2014 (194) 2015 (152) 2016 (143) 2017 (129) 2018 (186) 2019 (209) 2020 (228) 2021 (230) 2022 (280) 2023 (308) 2024 (64)
Publication types (Num. hits)
article(1448) book(4) data(3) incollection(35) inproceedings(3749) phdthesis(58) proceedings(8)
Venues (Conferences, Journals, ...)
CoRR(506) ESAIR(77) LREC(76) Bioinform.(74) Nucleic Acids Res.(69) BMC Bioinform.(58) ACM Multimedia(50) CVPR(49) WWW(41) SAC(37) CHI(30) CIKM(30) ISWC(30) SIGIR(30) ESWC(27) ECDL(26) More (+10 of total 1731)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3140 occurrences of 1638 keywords

Results
Found 5305 publication records. Showing 5305 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
12Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones Boxy types: inference for higher-rank types and impredicativity. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher-rank types, impredicativity, type inference
12Jing Liu 0001, Mingjing Li, Wei-Ying Ma, Qingshan Liu 0001, Hanqing Lu An adaptive graph model for automatic image annotation. Search on Bibsonomy Multimedia Information Retrieval The full citation details ... 2006 DBLP  DOI  BibTeX  RDF image retrieval, image annotation, manifold ranking
12Paolo Bottoni, Stefano Levialdi, Anna Labella, Emanuele Panizzi, Rosa Trinchese, Laura Gigli MADCOW: a visual interface for annotating web pages. Search on Bibsonomy AVI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF user interface, user interfaces, multimedia, annotation
12Michael Verhaart, Kinshuk An Annotation Framework for a Virtual Learning Portfolio. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12R. D. Arthan A Verified Formal Model of a VC Generator. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Imran Khan, Ronald Schroeter, Jane Hunter 0001 Implementing a Secure Annotation Service. Search on Bibsonomy IPAW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Frantisek Dvorák, Daniel Kouril, Ales Krenek, Ludek Matyska, Milos Mulac, Jan Pospisil 0001, Miroslav Ruda, Zdenek Salvet, Jirí Sitera, Michal Vocu gLite Job Provenance. Search on Bibsonomy IPAW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Rajendra Bose, Robert G. Mann, Diego Prina-Ricotti AstroDAS: Sharing Assertions Across Astronomy Catalogues Through Distributed Annotation. Search on Bibsonomy IPAW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Taketoshi Ushiama, Toyohide Watanabe An Automatic Indexing Approach for Private Photo Searching Based on E-mail Archive. Search on Bibsonomy KES (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Masahide Kakehi, Tomoko Kojiri, Toyohide Watanabe Annotation Interpretation of Collaborative Learning History for Self-learning. Search on Bibsonomy KES (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Cheryl Z. Qian, Victor Y. Chen, Robert F. Woodbury NEAR: Visualizing Information Relations in a Multimedia Repository. Search on Bibsonomy Smart Graphics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Xin-Jing Wang, Lei Zhang 0001, Feng Jing, Wei-Ying Ma AnnoSearch: Image Auto-Annotation by Search. Search on Bibsonomy CVPR (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Peter Graubmann, Mikhail Roshchin Semantic Annotation of Software Components. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Ling He, Ling-Da Wu, Yichao Cai Concept hypotaxis semantic network: a knowledge representation model for multimedia data mining. Search on Bibsonomy MMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Toralf Kirsten, Jörg Lange, Erhard Rahm An Integrated Platform for Analyzing Molecular-Biological Data Within Clinical Studies. Search on Bibsonomy EDBT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang 0001 Modular checking for buffer overflows in the large. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF annotation design, annotation inference, modular analysis, buffer overflows
12Koji Makita, Masayuki Kanbara, Naokazu Yokoya Personal Information Annotation on Wearable Computer Users with Hybrid Peer-to-Peer Communication. Search on Bibsonomy ICAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa, Takashi Machida, Kiyoshi Kiyokawa, Haruo Takemura Hierarchical 3D Data Rendering System Synchronizing with HTML. Search on Bibsonomy ICAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Hans P. Reiser, Rüdiger Kapitza, Jörg Domaschka, Franz J. Hauck Fault-Tolerant Replication Based on Fragmented Objects. Search on Bibsonomy DAIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Gaëlle Lortal, Myriam Lewkowicz, Amalia Todirascu-Courtier AnT&CoW: Share, Classify and Elaborate Documents by means of Annotation. Search on Bibsonomy ICDIM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Jean-Pierre Chevallet, Nicolas Maillot, Joo-Hwee Lim Concept Propagation Based on Visual Similarity. Search on Bibsonomy AIRS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Annotation Propagation, Visual Similarity, Conceptual Indexing
12Thorsten Hermes, Andrea Miene, Otthein Herzog Graphical Search for Images by PictureFinder. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF image retrieval, similarity search, query by example, color matching
12Jiamin Ye Aggregated feature video retrieval for MPEG-7 via clustering. Search on Bibsonomy SIGIR Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Jie Tang 0001, Juan-Zi Li, Hongjun Lu, Bangyong Liang, Xiaotong Huang, Kehong Wang iASA: Learning to Annotate the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12E. Michael Maximilien, Alex Cozzi, Thomas P. Moran Semantic Web Services for Activity-Based Computing. Search on Bibsonomy ICSOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Jingkai Yu, Farshad Fotouhi, Russell L. Finley Jr. Combining Bayesian Networks and Decision Trees to Predict Drosophila melanogaster Protein-Protein Interactions. Search on Bibsonomy ICDE Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Adam Welc, Suresh Jagannathan, Antony L. Hosking Safe futures for Java. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, concurrency, safety, futures
12Larry Birnbaum, Wallace J. Hopp, Seyed M. R. Iravani, Kevin Livingston, Biying Shou, Thomas M. Tirpak Task aware information access for diagnosis of manufacturing problems. Search on Bibsonomy IUI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic information retrieval, user task and context modeling
12Isabelle M. Demeure, Claudie Faure, Eric Lecolinet, Jean-Claude Moissinac, Stuart Pook Mobile Computing to Facilitate Interaction in Lectures and Meetings. Search on Bibsonomy DFMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Maristella Agosti, Nicola Ferro 0001, Nicola Orio Annotating illuminated manuscripts: an effective tool for research and education. Search on Bibsonomy JCDL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF annotation, digital images, user requirements, education environment
12Cheng-Zen Yang, Shen-Chi Chen, Ing-Xiang Chen A Peer-to-Peer Architecture for Web Annotation Sharing. Search on Bibsonomy ICADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Yi Li, Wing-Kin Sung, Lance D. Miller Multimodality as a Criterion for Feature Selection in Unsupervised Analysis of Gene Expression Data. Search on Bibsonomy BIBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Peter Plessers, Sven Casteleyn, Yeliz Yesilada, Olga De Troyer, Robert Stevens 0001, Simon Harper, Carole A. Goble Accessibility: a Web engineering approach. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantic Web, accessibility, visual impairment, Web engineering
12Mike Dowman, Valentin Tablan, Hamish Cunningham, Borislav Popov Web-assisted annotation, semantic indexing and search of television and radio news. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF key-phrase extraction, media archiving, semantic Web, multimedia, natural language processing, Web search, semantic annotation, automatic speech recognition, topical segmentation
12Lantian Zheng, Andrew C. Myers End-to-End Availability Policies and Noninterference. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Thomas Kleemann, Alex Sinner User Profiles and Matchmaking on Mobile Phones. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Vitaveska Lanfranchi, Fabio Ciravegna, Daniela Petrelli Semantic Web-Based Document: Editing and Browsing in AktiveDoc. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Oliver Fiehn, Gert Wohlgemuth, Martin Scholz Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata. Search on Bibsonomy DILS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Ewen Denney, Bernd Fischer 0002 Certifiable Program Generation. Search on Bibsonomy GPCE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Didier Rémy Simple, partial type-inference for System F based on type-containment. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type containment, type reconstruction, polymorphism, type inference, System F, elaboration
12Andreas Krämer, Daniel R. Richards, James O. Bowlby, Ramon M. Felciano Functional Modularity in a Large-Scale Mammalian Molecular Interaction Network. Search on Bibsonomy CSB Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Xutao Deng, Huimin Geng, Hesham H. Ali Learning Yeast Gene Functions from Heterogeneous Sources of Data Using Hybrid Weighted Bayesian Networks. Search on Bibsonomy CSB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF gene function prediction, machine learning, Bayesian network, yeast
12Miguel E. Ruiz, Sílvia Barcellos Southwick UB at CLEF 2005: Bilingual CLIR and Medical Image Retrieval Tasks. Search on Bibsonomy CLEF The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Isaac Lera, Carlos Juiz, Ramón Puigjaner Web Operational Analysis Through Performance-Related Ontologies in OWL for Intelligent Applications. Search on Bibsonomy ICWE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Stephen-John Craig, Michael Leuschel Self-tuning resource aware specialisation for prolog. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Nicholas Diakopoulos, Irfan A. Essa Mediating photo collage authoring. Search on Bibsonomy UIST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF painting interface, photo collage
12Timothy W. Finin, James Mayfield, Anupam Joshi, R. Scott Cost, Clayton Fink Information Retrieval and the Semantic Web. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Isaac Lera, Carlos Juiz, Ramón Puigjaner, Christian Kurz, Günter Haring, Joachim Zottl Performance assessment on ambient intelligent applications through ontologies. Search on Bibsonomy WOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed software performance engineering, performance ontologies, performance evaluation, agents, ambient intelligence
12Tuan-Dung Cao, Rose Dieng-Kuntz, Marc Bourdeau, Bruno Fiés A semantic web approach for building technology-monitoring system. Search on Bibsonomy K-CAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF annotation generation, technology monitoring, ontologies, semantic web, multiagent system
12Jason Wither, Tobias Höllerer Pictorial Depth Cues for Outdoor Augmented Reality. Search on Bibsonomy ISWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Ana L. Milanova, Barbara G. Ryder Annotated Inclusion Constraints for Precise Flow Analysis. Search on Bibsonomy ICSM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Ivan G. Costa, Alexander Schliep On External Indices for Mixtures: Validating Mixtures of Genes. Search on Bibsonomy GfKl The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Maurizio Rigamonti, Denis Lalanne, Florian Evéquoz, Rolf Ingold Browsing Multimedia Archives Through Intra- and Multimodal Cross-Documents Links. Search on Bibsonomy MLMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Shwetak N. Patel, Gregory D. Abowd The ContextCam: Automated Point of Capture Video Annotation. Search on Bibsonomy UbiComp The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Sihem Amer-Yahia, Fang Du, Juliana Freire A comprehensive solution to the XML-to-relational mapping problem. Search on Bibsonomy WIDM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF XML shredding, relational databases, mapping techniques, XML storage
12Kenneth Baclawski, Christopher J. Matheus, Mieczyslaw M. Kokar, Jerzy Letkowski, Paul A. Kogut Towards a Symptom Ontology for Semantic Web Applications. Search on Bibsonomy ISWC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12David A. Lee, Alastair Grant, Ian Sillitoe, Mark Dibley, Juan Garcia Ranea, Christine A. Orengo A structural perspective on genome evolution. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Daniele Gorla, Rosario Pugliese Controlling data movement in global computing applications. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Rajkumar Kannan, Balakrishnan Ramadoss, Krishnamurthi Ilango An Approach for Conceptual Modeling and Extracting Expressive Semantics from Dance Videos. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Marco Masseroli, Andrea Stella, Natalia Meani, Myriam Alcalay, Francesco Pinciroli GeneWebEx: Gene Annotation Web Extraction, Aggregation, and Updating from Web-Based Biomolecular Databanks. Search on Bibsonomy BIBE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Jun Zhao 0003, Carole A. Goble, Robert Stevens 0001 Semantic web applications to e-science in silico experiments. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ontology, semantic web, integration, annotation, provenance, e-science
12Michael Eichberg, Mira Mezini Alice: Modularization of Middleware Using Aspect-Oriented Programming. Search on Bibsonomy SEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Rong Jin 0001, Joyce Y. Chai, Luo Si Effective automatic image annotation via a coherent language model and active learning. Search on Bibsonomy ACM Multimedia The full citation details ... 2004 DBLP  DOI  BibTeX  RDF image retrieval, statistical models, image annotation, expectation-maximization algorithm
12Xin-Jing Wang, Wei-Ying Ma, Gui-Rong Xue, Xing Li 0001 Multi-model similarity propagation and its application for web image retrieval. Search on Bibsonomy ACM Multimedia The full citation details ... 2004 DBLP  DOI  BibTeX  RDF iterative similarity propagation, mixture model, multimedia retrieval, mutual reinforcement
12HuaMin Feng, Rui Shi, Tat-Seng Chua A bootstrapping framework for annotating and retrieving WWW images. Search on Bibsonomy ACM Multimedia The full citation details ... 2004 DBLP  DOI  BibTeX  RDF WWW images, image annotation, bootstrapping, co-training
12Matthew Q. Beers, Christian H. Stork, Michael Franz Efficiently Verifiable Escape Analysis. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Zena M. Ariola, Hugo Herbelin, Amr Sabry A type-theoretic foundation of continuations and prompts. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
12Dhiraj Joshi, James Ze Wang, Jia Li 0001 The story picturing engine: finding elite images to illustrate a story using mutual reinforcement. Search on Bibsonomy Multimedia Information Retrieval The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lexical referencing, story picturing, image retrieval, Markov chain, mutual reinforcement
12Jan Uhlír, Martin Falc Annotating Narratives Using Ontologies and Conceptual Graphs. Search on Bibsonomy DEXA Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Burin Anuchitkittikul, Masashi Okamoto, Sadao Kurohashi, Toyoaki Nishida, Yoichi Sato Video Content Manipulation by Means of Content Annotation and Nonsymbolic Gestural Interfaces. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Harris Papageorgiou, Athanassios Protopapas The CIMWOS Multimedia Indexing System. Search on Bibsonomy CIVR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Shaolei Feng 0001, Raghavan Manmatha, Victor Lavrenko Multiple Bernoulli Relevance Models for Image and Video Annotation. Search on Bibsonomy CVPR (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Nathan Linger, Tim Sheard Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Yuechen Qian, Loe M. G. Feijs Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping. Search on Bibsonomy ICEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Won-Sung Sohn, Myeong-Cheol Ko, Hak-Keun Kim, Soon-Bum Lim, Yoon-Chul Choy Annotation Repositioning Methods in the XML Documents: Context-Based Approach. Search on Bibsonomy ICCSA (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Pere P. Sancho, Carlos Juiz, Ramón Puigjaner Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Kazuki Hiraki, Tatsuhiro Yonekura, Shintaro Kawahara, Susumu Shibusawa Development of the "Web-Com" Interactive Browser for Web-Based Class. Search on Bibsonomy CW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Koji Makita, Masayuki Kanbara, Naokazu Yokoya Shared Annotation Database for Networked Wearable Augmented Reality System. Search on Bibsonomy PCM (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen Fully Automatic Binding-Time Analysis for Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Faiz Currim, Sabah Currim, Curtis E. Dyreson, Richard T. Snodgrass A Tale of Two Schemas: Creating a Temporal XML Schema from a Snapshot Schema with tXSchema. Search on Bibsonomy EDBT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12José San Pedro, Nicolas Denis, Sergio Domínguez On the Automatic Creation of Customized Video Content. Search on Bibsonomy ICIAR (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Paolo Bottoni, Stefano Levialdi, Paola Rizzo An Analysis and Case Study of Digital Annotation. Search on Bibsonomy DNIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Grit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci 0001, Katia P. Sycara Security for DAML Web Services: Annotation and Matchmaking. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks 0001 A Semantic Infosphere. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi Checking and inferring local non-aliasing. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
12Melissa Lemos, Luiz Fernando Bessa Seibel, Marco A. Casanova BioNotes: A System for Biosequence Annotation. Search on Bibsonomy DEXA Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Kamil Matousek, Zdenek Kouba, Petr Husták Resource Annotation and Outline Creation Tool (RAT-O). Search on Bibsonomy DEXA Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Dario Bonino, Fulvio Corno, Laura Farinetti DOSE: A Distributed Open Semantic Elaboration Platform. Search on Bibsonomy ICTAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001 Certification Support for Automatically Generated Programs. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Martin Theobald, Ralf Schenkel, Gerhard Weikum Classification and Focused Crawling for Semistructured Data. Search on Bibsonomy Intelligent Search on XML Data The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Alessandra Raffaetà, Chiara Renso, Franco Turini Qualitative Spatial Reasoning in a Logical Framework. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Hongwei Xi Facilitating Program Verification with Dependent Types. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis The code of many colors: relating threads to code and shared state. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, race conditions, multi-threaded programming, design intent
12Yefeng Zheng 0001, Huiping Li, David S. Doermann The Segmentation and Identification of Handwriting in Noisy Document Images. Search on Bibsonomy Document Analysis Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Sarfraz Khurshid, Darko Marinov, Daniel Jackson 0001 An analyzable annotation language. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
12Ulrike Becker-Kornstaedt, Roman Reinert A concept to support process model maintenance through systematic experience capture. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Mounira Harzallah, Michel Leclère, Francky Trichet CommOnCV: modelling the competencies underlying a curriculum vitae. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF web-based knowledge management, ontology, semantic web, competency model, e-recruitment
12Aurélien Bénel, Sylvie Calabretto, Andréa Iacovella, Jean-Marie Pinon Porphyry 2001: Semantics for Scholarly Publications Retrieval. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Patron-augmented digital libraries, user interfaces and visualization systems, browsing/reading/annotating, semantic nets
Displaying result #701 - #800 of 5305 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license