Search results

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

Page title matches

• Methods XIII 2008
  | Acronym = Methods XIII 2008 | Title = 13th International Conference on Methods in Dialectology
  556 bytes (64 words) - 23:01, 14 October 2008
• Methods for Modalities
  111 bytes (14 words) - 10:08, 24 December 2008
• International Symposium of Formal Methods
  16 bytes (2 words) - 02:17, 13 July 2010
• International Symposium on Formal Methods
  16 bytes (2 words) - 02:51, 13 July 2010
• Finite-State Methods and Natural Language Processing
  55 bytes (5 words) - 06:20, 11 December 2010
• OMS 2017 : 4th Conference on Optimization Methods and Software
  |Title=OMS 2017 : 4th Conference on Optimization Methods and Software The 4th Conference on Optimization Methods and Software
  2 KB (307 words) - 09:59, 21 August 2017
• SMART 2017 : Scientific Methods in Academic Research and Teaching
  24 bytes (2 words) - 11:32, 8 August 2017

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) - 15: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) - 18:02, 10 November 2011
• SAC RE 2009
  * Requirements specification languages, methods, processes, and tools
  2 KB (272 words) - 16:30, 15 October 2008
• CSMR 2009
  * Tools and methods to support software architecture evolution
  6 KB (764 words) - 11: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) - 10:41, 2 June 2020
• COMPARCH 2008
  * Formal methods * Methods of development
  4 KB (564 words) - 12: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) - 16:39, 16 July 2020
• FM 2008
  | Title=15th International Symposium on Formal Methods 2008 | Series=International Symposium on Formal Methods
  504 bytes (55 words) - 02:50, 13 July 2010
• ICFEM 2007
  | Title=International Conference on Formal Engineering Methods 2007
  316 bytes (31 words) - 17:14, 20 August 2008
• SEFM 2007
  | Title=IEEE International Conference on Software Engineering and Formal Methods 2007
  316 bytes (33 words) - 17:11, 20 August 2008
• EMNLP 2018
  |Title=Conference on Empirical Methods in Natural Language Processing ...hes to NLP, invites you to participate in the 2018 Conference on Empirical Methods in Natural Language Processing (EMNLP) in Brussels, Belgium. EMNLP 2018 wil
  647 bytes (83 words) - 14:10, 4 June 2020
• JWE
  * Web application development methods and processes * Testing automation, methods and tools for Web applications
  6 KB (871 words) - 05:51, 26 August 2008
• ICDT 2009
  ...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
• ECIR 2009
  Evaluation methods and metrics, Experimental design, Test collection
  6 KB (875 words) - 19:00, 4 September 2008
• CSR 2009
  * deductive methods
  5 KB (614 words) - 17:22, 11 September 2008
• CISIS 2009
  to focus on new models and methods as well as mechanisms, which can enable the network to perform adaptive ...uirements for software quality will dramatically increase. But our current methods are
  13 KB (1,706 words) - 16:34, 27 December 2015
• DBKDA 2020
  ...etc.); Data quality, data structures, and data modeling; Advanced indexing methods; Advanced ranking algorithms and uncertainty; Physical organization and per ...nd consistency checking; D ata mining and data quality assessment; Quality methods and algorithms / data transformation, reconciliation, consolidation, extrac
  11 KB (1,371 words) - 12:28, 18 May 2020
• ECOMO 2009
  ...odelling in the context of e-business. They include research and practice, methods and tools for developing and communicating conceptual models of e-business
  7 KB (872 words) - 13: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) - 18: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) - 18:23, 13 October 2008

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