Search results

Jump to: navigation, search

Page title matches

Page text matches

  • ...have discussed widely in the last years, and many attempts at using formal methods for specification and verification in this setting have been made. Session * Formal methods and models for Service Oriented Computing
    7 KB (957 words) - 15:15, 11 August 2008
  • ...ments from different subject areas in order to deliver innovative semantic methods and applications. ...Web Semantics publishes high quality papers that cover theoretical issues, methods, tools, system descriptions and applications. Papers should be normal journ
    6 KB (887 words) - 18:02, 10 November 2011
  • feature up to 10 technical research paper sessions, full-day and track, a doctoral symposium and a special track on European research
    6 KB (764 words) - 11:49, 26 August 2020
  • |Title=Conference on Empirical Methods in Natural Language Processing '''The 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP 2020)'''
    5 KB (612 words) - 10:41, 2 June 2020
  • * Formal methods * Methods of development
    4 KB (564 words) - 12:33, 8 December 2020
  • ...ch areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages * Integration of formal methods and static analysis in high-level hardware design or software environments;
    4 KB (543 words) - 16:39, 16 July 2020
  • ...ferences provides a biennial, international forum for the communication of research advances on the principles of database systems. This year, for the first ti ...ted, but not exclusive, topics of interest for submissions include: Access methods and physical design; Active databases; Complexity and performance; Constrai
    5 KB (753 words) - 18:59, 25 June 2012
  • ...mation Retrieval. The conference encourages the submission of high quality research papers reporting original, previously unpublished results. .... Authors are encouraged to demonstrate work in progress and late-breaking research results.
    6 KB (875 words) - 19:00, 4 September 2008
  • * deductive methods * [[has PC member::Thomas Ball]], Microsoft Research
    5 KB (614 words) - 17:22, 11 September 2008
  • challenging areas of research and development of future ICT-enabled applications: to focus on new models and methods as well as mechanisms, which can enable the network to perform adaptive
    13 KB (1,706 words) - 16:34, 27 December 2015
  • ...by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industr All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in pr
    11 KB (1,371 words) - 12:28, 18 May 2020
  • ...ptual models into effective implementations. We invite papers highlighting research findings and work in progress as well as scholarly reviews in a range of ar
    7 KB (872 words) - 13:20, 5 March 2012
  • ...ith incomplete patterns, advanced ranking algorithms and advanced indexing methods. ...ng systems put pressure on database communities to push the ‘de facto’ methods to support new requirements in terms of scalability, privacy, performance,
    11 KB (1,446 words) - 18:26, 13 October 2008
  • |Title=Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign ...ally encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/softwa
    5 KB (708 words) - 18:23, 13 October 2008
  • ...ce conditions, non-determinism in thread interactions, a lack of debugging methods, and poorly understood performance consequences. Automatic parallelization ...form of a position paper, new ideas, initial results, overview of ongoing research, or even a historical perspective. Submissions are due November 3; notifica
    5 KB (752 words) - 14:50, 25 September 2008
  • ...against software quality criteria, ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends and propose new direc ...nd practitioners to review and evaluate emerging as well as established SE methods, practices, architectures, technologies and tools. An important underpinnin
    7 KB (959 words) - 14:51, 27 December 2015
  • ...nd provide foundations for deployable NLP systems. Similarly, unsupervised methods, such as those based on EM training, have also been influential, with appli ...Many semi-supervised learning methods (e.g. transductive SVM, graph-based methods) have been originally developed for binary classification problems. NLP pro
    7 KB (961 words) - 05:50, 14 October 2008
  • IDC 2009 will present and discuss the most innovative contributions to research, development, and practice in these areas, gathering the leading minds in t * Methods, techniques, and guidelines for requirements analysis, design, and evaluati
    5 KB (631 words) - 05:50, 14 October 2008
  • researchers in academia, industry, and government, describing original research ◦ Application Methods and Algorithms
    4 KB (452 words) - 17:47, 7 April 2021
  • ...SYMPOSIUM or MINI-SYMPOSIUM represent the first publications of original research, the respective organizer can propose them for publication, collectively, We call upon the research community to propose SYMOSIA or MINI-SYMPOSIA on a topic of their choice fr
    5 KB (658 words) - 17:47, 14 October 2008
  • The goal of the GEMS workshop is to further stimulate research on semantic spaces and distributional methods for NLP, by adopting an interdisciplinary
    6 KB (857 words) - 04:56, 15 September 2009
  • methods for research on human language acquisition. Developing and help initiate interdisciplinary research projects. Success in this
    7 KB (888 words) - 21:58, 14 October 2008
  • ...has provided the meeting place for the visual coding community: industry, research, academia, and users. The 27th PCS will be held in Chicago, Illinois, USA, * Subjective and objective quality assessment metrics and methods
    3 KB (348 words) - 17:47, 14 October 2008
  • ...r the Web Science , is an international attempt to promote the WEB SCIENCE research and to bring together the international community for a dialogue on the mai - The Definition of Methods, Theories and Constitutional Elements of the WEB SCIENCE
    2 KB (349 words) - 17:47, 14 October 2008
  • Academics and practitioners with an interest in research, theory, technologies, design, and applications related to persuasion are i ==Research themes/tracks==
    8 KB (989 words) - 20:13, 22 February 2009
  • ...s. The manual maintenance of pertinent provenance information such as what methods, what parameters, who and when created and/or modified, is not only time co ...d/or experiences. The workshop is also expected to help shape a provenance research agenda in the years ahead.
    3 KB (416 words) - 17:48, 14 October 2008
  • We solicit both academic, research, and industrial contributions on topics regarding new views on Internet pro Traffic analysis: methods for analysis and visualization of multidimensional measurements, characteri
    11 KB (1,385 words) - 17:48, 14 October 2008
  • ...d, when combined with multimedia information encompasses a large number of research topics and emerging applications. A list of relevant topics is provided bel ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen
    8 KB (1,026 words) - 17:48, 14 October 2008
  • * the study of legal reasoning and argumentation using computational methods .... ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications and stimulates interdisciplinary and int
    7 KB (998 words) - 17:48, 14 October 2008
  • methods for creating models of individual and group behavior from data. While behavior modeling is part of many research communities, such as
    2 KB (204 words) - 12:45, 27 December 2015
  • ...gy. For FPGA 2009, we are soliciting original submissions describing novel research and developments in the following (and related) areas of interest: ...s and circuit-level techniques, impact of process and design technologies, methods for analyzing and improving issues with soft-errors, leakage, static and dy
    4 KB (561 words) - 17:48, 14 October 2008
  • o real-time system modeling and analysis o formal methods o control theoretic models and performance feedback control o hardware / o integrated design methods for CPS
    8 KB (939 words) - 17:48, 14 October 2008
  • ...a widely selected forum among Scientists and Engineers to exchange ideas, methods, and techniques in the field of Nonlinear Dynamics, Chaos, Fractals and the ...ynamics, Chaotic theory and Application for exchanging views and reporting research findings.
    3 KB (363 words) - 21:21, 14 October 2008
  • ...ews on HRI and different approaches taken. In the highly interdisciplinary research field of HRI, a peaceful dialogue among such approaches is expected to cont # New methods and methodologies to carry out and analyze human-robot interaction
    7 KB (1,033 words) - 16:35, 9 October 2020
  • ..., Knowledge Management, and Network Science. It is committed to addressing research that both deepen the understanding of computational, logical, cognitive, ph ...topics will be embedded inside WI. WI’17 features high-quality, original research papers and real-world applications in all theoretical and technology areas
    1 KB (168 words) - 09:31, 26 February 2020
  • ...g and data mining methods to real-world problems, particularly exploratory research that describes novel learning and mining tasks and applications requiring n
    1 KB (142 words) - 11:39, 17 October 2008
  • ...rs and practitioners involved in different but related domains to confront research results and discuss key problems. CSCWD 2009 has a theme on Human Centered * Techniques, methods, and tools for CSCW in design
    5 KB (674 words) - 20:05, 14 October 2008
  • ...communications field, which is quite vast, encompassing a large number of research topics and applications: from practical issues to the more abstract theoret ...Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral a
    9 KB (1,219 words) - 20:05, 14 October 2008
  • • Formal Methods Creative Industries Research Institute
    5 KB (530 words) - 10:27, 24 June 2011
  • # Purpose, Methods, Results, and Conclusions * Peter Börnert, Ph.D., Philips Research Labs Hamburg, Hamburg, Germany
    2 KB (273 words) - 16:00, 2 February 2009
  • ...orkshop series traditionally provide a forum for presenting and discussing research results and applications in the intersection of pattern recognition, image - belief-propagation methods,
    3 KB (344 words) - 00:44, 15 October 2008
  • Submission and Contact Methods IVSP 2024 can provide a better platform for academic communication in research and development, professional practice in video, image and signal processin
    982 bytes (135 words) - 08:44, 18 August 2023
  • ...hose involving new and emerging technologies, applications and development methods. EICS will be inclusive, bringing together researchers and practitioners fr * methods or techniques for evaluating user interfaces
    4 KB (575 words) - 14:56, 27 December 2015
  • research, discussion about them and the generation of visualization methods and techniques
    4 KB (477 words) - 22:42, 4 February 2009
  • Design Methods Evaluation Methods
    7 KB (957 words) - 22:45, 14 October 2008
  • * universal development methodologies, methods and techniques LaSIGE Research Laboratory and University of Lisbon
    6 KB (843 words) - 23:38, 14 October 2008
  • ...evelopers? work with usability within this approach, more than 20 years of research in Human-Computer Interaction (HCI) has created and compared techniques for ...ith successful and to-the-point results has proved difficult. In addition, research in Human-Computer Interaction (HCI) and Software Engineering (SE) has been
    10 KB (1,369 words) - 22:53, 14 October 2008
  • ...heir infancies. Furthermore, there is a need to bring the various involved research communities together to discuss and advance the understanding of attention ...ration between communities, e.g. by discussing relevant cross-disciplinary research approaches for attention metadata. In more detail, the workshop aims to dis
    6 KB (890 words) - 22:53, 14 October 2008
  • NATIONAL RESEARCH COUNCIL CANADA papers program will feature experience reports and original research
    9 KB (1,193 words) - 22:53, 14 October 2008
  • methods for graphically representing different aspects of software, computer science education) to present original research on software
    3 KB (355 words) - 22:53, 14 October 2008
  • ...ments, such as ubiquitous and pervasive computer applications. Both formal methods and concrete applications well fit into the framework of the conference, wh Advanced research, on innovative interaction paradigms and systems
    3 KB (361 words) - 22:55, 14 October 2008
  • ...ns are vital in visual analytics as they contribute greatly to adoption of research software. The issues we face in developing user-centered evaluations for v ...antly, what measures are most helpful to the analytic community and to the research community?
    5 KB (757 words) - 22:57, 14 October 2008
  • - Methods for the acquisition of lexical knowledge from digitized and linguistically ...e in the context of lexicography, the use of digital lexical resources for research and teaching, design of ontologies for automatic information retrieval, or
    6 KB (772 words) - 23:00, 14 October 2008
  • WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural langu ...omputation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language
    5 KB (639 words) - 23:00, 14 October 2008
  • Research in comparable corpora is motivated by the scarcity of methods to collect parallel corpora from the Web. A more
    5 KB (647 words) - 23:00, 14 October 2008
  • The general session invites papers on any avenue of current research in phonetics, phonology, syntax, semantics, historical linguistics and soci The main session invites current research on models of linguistic change, including both the evolution of individual
    5 KB (668 words) - 23:00, 14 October 2008
  • ...parallel corpora to enrich their lexicons and grammars, and to create new methods for disambiguation. ...r statistical) is nowadays the most prevalent trend in Machine Translation research.
    5 KB (708 words) - 23:01, 14 October 2008
  • ...t this natural language understanding challenge and on the use of learning methods in this context. RTE has fostered an active and growing community of resear ...ence rules, paraphrase templates, lexical relations *Knowledge acquisition methods - From corpora/Web, including acquiring entailment/paraphrasing corpora - F
    3 KB (476 words) - 23:01, 14 October 2008
  • ...ion of Artificial Intelligence (AI) techniques to medical care and medical research, and ...mplementation, and discuss the assumptions and limitations of the proposed methods.
    7 KB (924 words) - 23:03, 14 October 2008
  • forum for the sharing, exchange, presentation and discussion of original research results * Statistical, soft and structural methods of pattern recognition
    6 KB (840 words) - 16:42, 27 December 2015
  • ...ng with game-oriented education research, and game studies and game design research. The goal of the conference is the advancement of the science of digital ga ...ds-on tutorials and topical panels on a range of subjects related to games research and education. We invite researchers and educators to share insights and cu
    9 KB (1,275 words) - 14:46, 27 December 2015
  • ...inception in 1985, the primary goal of this conference has been to broaden research in both of these fields by promoting the exchange of ideas between them. We * Integrated man-machine modeling methods
    3 KB (341 words) - 19:39, 26 February 2020
  • Research & Strategic Data Solutions, Yahoo!, Inc. (USA) is devoted to theories, methods and applications of Data Mining, Machine Learning, Knowledge Discovery in
    2 KB (286 words) - 11:44, 18 October 2008
  • ...researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all The conference calls for research papers reporting original investigation results and industrial
    2 KB (295 words) - 12:03, 18 October 2008
  • active research. New methods of computing answer sets are being - New methods of computing answer sets using algorithms or systems of
    5 KB (645 words) - 23:04, 14 October 2008
  • ...ide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techni ...are invited to submit electronically original, English-language scientific research contributions. Submitted papers must present unpublished work, not submitte
    8 KB (1,111 words) - 23:04, 14 October 2008
  • The Symposium is Soliciting State-of-the-art Research Papers in the following areas of interest: Evaluation of methods, techniques and tools for Knowledge Acquisition
    2 KB (314 words) - 23:04, 14 October 2008
  • ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The International Workshop on Uncertain Effective methods for reasoning under uncertainty are vital for realizing many aspects of the
    9 KB (1,338 words) - 23:04, 14 October 2008
  • ...rongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, ...Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral a
    18 KB (2,457 words) - 23:04, 14 October 2008
  • ...s, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence. ...awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions
    7 KB (971 words) - 23:04, 14 October 2008
  • - Autonomy-Oriented Modeling and Computation Methods authors of (1) the best research paper and (2) the best application
    12 KB (1,601 words) - 23:04, 14 October 2008
  • ...nce targets to attract authors of and audience for scientifically valuable research contributions aiming to narrow the large disparity between the low-level de ...tors in the process of multimedia generation and consumption – including methods from low-level signal processing up to the mobile context in which a user i
    4 KB (490 words) - 16:48, 15 October 2008
  • ...gical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stu Regular papers are meant to describe solid new research results. They can be up to 15 pages long in LNCS style, including figures,
    5 KB (799 words) - 21:49, 26 February 2020
  • ...rnational Semantic Web Conference (ISWC 2008) solicits papers for the mail research track. A one page version of this ISWC 2008 call for papers (updated 26. Ma ...Web technologies mature and permeate more and more application areas, new research challenges are coming to the fore and some unsolved ones are becoming more
    6 KB (854 words) - 12:05, 28 May 2016
  • We invite papers on any research topic related to question answering and reasoning. In this call we especial ...sic evaluation of inference methods, data-intensive vs knowledge-intensive methods, evaluation of portability.
    7 KB (991 words) - 23:04, 14 October 2008
  • ...orum for discussion, exchange of points of view, assessment of results and methods, and as a source of dissemination and promotion of the newest advances in t ...us of the workshop, clarity of the work submitted, and the strength of the research.
    3 KB (512 words) - 23:04, 14 October 2008
  • CiE 2008 aims at bridging the gap from the logical methods of mathematical * Formal methods
    5 KB (619 words) - 18:06, 10 February 2021
  • Papers in the main technical program must describe high-quality, original research. Statistical Methods and Learning
    3 KB (339 words) - 13:28, 16 November 2020
  • Methods for knowledge validation Leora Morgenstern, IBM T.J. Watson Research Center
    5 KB (710 words) - 23:05, 14 October 2008
  • to present research and to exchange ideas and experience addressing exploitation of theory through methods and tools for system
    8 KB (1,085 words) - 18:01, 12 February 2009
  • presenting high quality, previously unpublished research in the topics well as ongoing research, with an emphasis on novel approaches, methods,
    5 KB (629 words) - 23:06, 14 October 2008
  • - methods addressing data sparseness issue for morphologically rich - methods for optimizing the selection of units at different levels of
    4 KB (519 words) - 23:06, 14 October 2008
  • | Title = Quantitative Semantic methods for the Internet 1st International Workshop on Quantitative Semantic methods for the
    5 KB (661 words) - 23:06, 14 October 2008
  • |Title=Conference on Empirical Methods in Natural Language Processing '''2008 Conference on Empirical Methods in Natural Language Processing (EMNLP 2008)'''
    4 KB (487 words) - 13:10, 19 February 2020
  • The biomedical research community eagerly awaits the full emphasizing in particular work on methods deployed in a
    6 KB (749 words) - 23:06, 14 October 2008
  • ...ext from biomedical, clinical, or genomic domains. In addition to original research papers, as is JBI's custom, we are soliciting one or more methodological re ...e soliciting full-length article submissions that present and evaluate new methods rather than the application or evaluation of existing approaches (see edito
    5 KB (655 words) - 23:06, 14 October 2008
  • ...Noise introduces challenges that need special handling, either through new methods or improved versions of existing ones. We invite you to submit your own uni IBM Research, India Research Lab
    4 KB (608 words) - 17:00, 27 December 2015
  • | Title = Finite-State Methods and Natural Language Processing Finite-State Methods and Natural Language Processing - FSMNLP 2008
    9 KB (1,072 words) - 23:06, 14 October 2008
  • Thanks to both statistical approaches and finite state methods, lower levels of processing for which reasonably good methods have
    7 KB (856 words) - 23:06, 14 October 2008
  • It is therefore important that the research community address the following - What methods are appropriate to detect similar/complementary/contradictory
    8 KB (992 words) - 23:07, 14 October 2008
  • of linguistic resources and methods in Computational Linguistics. They judgements provide clues for research on linguistic issues that
    6 KB (815 words) - 23:07, 14 October 2008
  • FG provides a forum for the presentation of new and original research formal and mathematical methods to the study of natural language.
    5 KB (636 words) - 23:07, 14 October 2008
  • working out methods and techniques to leverage them. Both AMD and * Yen-Kuang Chen Inetl Research, USA
    5 KB (659 words) - 23:07, 14 October 2008
  • Our workshop purports to fill these gaps by inviting research teams * open challenges for distributional methods for semantic analysis;
    6 KB (821 words) - 13:17, 23 April 2020
  • society. Methods for text-based information retrieval receive special research but uses methods from different areas: machine learning, computer
    4 KB (468 words) - 23:07, 14 October 2008
  • ...merous algorithms and representation models developed during decades of AI research, as illustrated recently in tasks such as estimating the reliability of aut The goal of the workshop is to foster the research and dissemination of ideas on the mutually beneficial interaction between W
    5 KB (736 words) - 23:07, 14 October 2008
  • research on these topics, potentially including strong work in progress. * Algorithms, including finite-state methods
    7 KB (908 words) - 23:07, 14 October 2008
  • area of research there is a rich diversity of approaches, and recent * scalability of structured translation methods to small or large data
    4 KB (586 words) - 23:07, 14 October 2008
  • and ACL 2005) will continue to expose the NLP research community to these * Intelligent tutoring systems that incorporate state-of-the-art NLP methods
    6 KB (825 words) - 17:06, 27 December 2015
  • This workshop on statistical and hybrid methods for machine translation, and builds on the 2005 ACL Workshop on Parallel Te We encourage individuals who are submitting research papers to evaluate their approaches using the training resources provided b
    7 KB (897 words) - 23:07, 14 October 2008

View (previous 100 | next 100) (20 | 50 | 100 | 250 | 500)