Search results

Jump to: navigation, search

Create the page "Research methods" on this wiki! See also the search results found.

Page title matches

Page text matches

  • SAC 2009 SOAP
    ...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) - 14:15, 11 August 2008
  • JWS
    ...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) - 17:02, 10 November 2011
  • CSMR 2009
    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) - 10:49, 26 August 2020
  • EMNLP 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) - 09:41, 2 June 2020
  • COMPARCH 2008
    * Formal methods * Methods of development
    4 KB (564 words) - 11:33, 8 December 2020
  • TACAS 2009
    ...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) - 15:39, 16 July 2020
  • ICDT 2009
    ...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) - 17:59, 25 June 2012
  • ECIR 2009
    ...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) - 18:00, 4 September 2008
  • CSR 2009
    * deductive methods * [[has PC member::Thomas Ball]], Microsoft Research
    5 KB (614 words) - 16:22, 11 September 2008
  • CISIS 2009
    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) - 15:34, 27 December 2015
  • DBKDA 2020
    ...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) - 11:28, 18 May 2020
  • ECOMO 2009
    ...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) - 12:20, 5 March 2012
  • DB 2009
    ...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) - 17:26, 13 October 2008
  • MemoCODE 2009
    |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) - 17:23, 13 October 2008
  • DAMP 2007
    ...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) - 13:50, 25 September 2008
  • ENASE 2009
    ...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) - 13:51, 27 December 2015
  • NAACL SSL-NLP 2009
    ...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) - 04:50, 14 October 2008
  • IDC 2009
    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) - 04:50, 14 October 2008
  • Cluster 2009
    researchers in academia, industry, and government, describing original research ◦ Application Methods and Algorithms
    4 KB (452 words) - 16:47, 7 April 2021
  • ICCES 2009
    ...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) - 16:47, 14 October 2008

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"