Search results

Jump to: navigation, search

Create the page "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) - 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
  • DAMP 2007
    ...ce conditions, non-determinism in thread interactions, a lack of debugging methods, and poorly understood performance consequences. Automatic parallelization
    5 KB (752 words) - 14:50, 25 September 2008
  • ENASE 2009
    ...nd practitioners to review and evaluate emerging as well as established SE methods, practices, architectures, technologies and tools. An important underpinnin * formal methods,
    7 KB (959 words) - 14: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) - 05:50, 14 October 2008
  • IDC 2009
    * Methods, techniques, and guidelines for requirements analysis, design, and evaluati
    5 KB (631 words) - 05:50, 14 October 2008
  • MAXENT 2009
    | Title = International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering ...the MaxEnt workshops have explored the use of Bayesian and Maximum Entropy methods in scientific and engineering applications.
    2 KB (251 words) - 22:20, 14 October 2008
  • CAIP 2009
    * Graph-based Methods * Kernel methods
    2 KB (241 words) - 18:07, 14 October 2008
  • Cluster 2009
    ◦ Application Methods and Algorithms
    4 KB (452 words) - 17:47, 7 April 2021
  • ICCES 2009
    MNCM: Meshless & Novel Computational Methods MDCEM: Multi-Disciplinary Computational & Experimental Methods
    5 KB (658 words) - 17:47, 14 October 2008
  • GEMS 2009
    spaces and distributional methods for NLP, by adopting an interdisciplinary - Eigenvector methods (e.g. Singular Value and Tucker Decomposition)
    6 KB (857 words) - 04:56, 15 September 2009
  • Cognitive 2009
    methods for research on human language acquisition. Developing and * Computational methods for acquiring various linguistic information
    7 KB (888 words) - 21:58, 14 October 2008
  • PCS 2009
    * Subjective and objective quality assessment metrics and methods
    3 KB (348 words) - 17:47, 14 October 2008
  • IC-WebScience 2009
    - The Definition of Methods, Theories and Constitutional Elements of the WEB SCIENCE
    2 KB (349 words) - 17:47, 14 October 2008
  • PERSUASIVE 2009
    * Methods & Measurements in Persuasion An overview of different methods, from qualitative to quantitative, individual to mass
    8 KB (989 words) - 20:13, 22 February 2009
  • WDPP 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
    3 KB (416 words) - 17:48, 14 October 2008
  • INTERNET 2009
    Traffic analysis: methods for analysis and visualization of multidimensional measurements, characteri Software defined radio networks: low power signal processing methods, applications of machine learning
    11 KB (1,385 words) - 17:48, 14 October 2008
  • SIGMAP 2009
    ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen ...on paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (bibliographic, experimental,
    8 KB (1,026 words) - 17:48, 14 October 2008
  • ICAIL 2009
    * the study of legal reasoning and argumentation using computational methods ...format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day o
    7 KB (998 words) - 17:48, 14 October 2008
  • AAAI HBM 2009
    methods for creating models of individual and group behavior from data. representations and reasoning methods that can apply across many
    2 KB (204 words) - 12:45, 27 December 2015
  • ICESS 2009
    .Formal Methods for Embedded Systems
    3 KB (375 words) - 17:48, 14 October 2008
  • FPGA 2009
    ...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
  • RTAS 2009
    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
  • CHAOS 2009
    ...a widely selected forum among Scientists and Engineers to exchange ideas, methods, and techniques in the field of Nonlinear Dynamics, Chaos, Fractals and the ...expand the development of the theories of the applied nonlinear field, the methods and the empirical data and computer techniques, and the best theoretical ac
    3 KB (363 words) - 21:21, 14 October 2008
  • ICORS 2009
    * Nonparametric methods * Statistical methods in business and finance
    2 KB (228 words) - 20:04, 14 October 2008
  • AISB 2009
    # New methods and methodologies to carry out and analyze human-robot interaction
    7 KB (1,033 words) - 16:35, 9 October 2020
  • Web Intelligence
    ...eve a multi-disciplinary balance between research advances in theories and methods usually associated with Collective Intelligence, Data Science, Human-Centri
    1 KB (168 words) - 09:31, 26 February 2020
  • HPGC 2009
    * Programming Models: Methods for remote execution and intertask communications, including message passin
    2 KB (310 words) - 20:13, 14 October 2008
  • ECML PKDD 2009
    ...f papers that describe the application of machine learning and data mining methods to real-world problems, particularly exploratory research that describes no
    1 KB (142 words) - 11:39, 17 October 2008
  • CSCWD 2009
    * Techniques, methods, and tools for CSCW in design
    5 KB (674 words) - 20:05, 14 October 2008
  • WINSYS 2009
    ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen ...on paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (bibliographic, experimental,
    9 KB (1,219 words) - 20:05, 14 October 2008
  • NOTERE 2009
    Formal methods and tools, UML/sys UML
    2 KB (208 words) - 20:05, 14 October 2008
  • TDMT 2011
    • Formal Methods
    5 KB (530 words) - 10:27, 24 June 2011
  • ISMRM 2009
    # Purpose, Methods, Results, and Conclusions
    2 KB (273 words) - 16:00, 2 February 2009
  • MEMOCODE 2009
    | Title = Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign practitioners who create methods, tools, and architectures for
    1 KB (165 words) - 20:06, 14 October 2008
  • IICAI 2009
    Heuristic and Knowledge-Based Search Methods Probabilistic Methods in AI
    3 KB (359 words) - 20:06, 14 October 2008
  • GBR 2009
    - belief-propagation methods, - graph-cuts methods,
    3 KB (344 words) - 00:44, 15 October 2008
  • SIGMETRICS 2009
    ...ce evaluation methods, or those that creatively apply previously developed methods to understand or to gain important insights into key design trade-offs in c
    3 KB (361 words) - 21:16, 14 October 2008
  • IVSP 2024
    Submission and Contact Methods
    982 bytes (135 words) - 08:44, 18 August 2023
  • SMC 2009
    Design Methods
    6 KB (708 words) - 22:49, 14 October 2008
  • EICS 2009
    ...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
  • HCI 2009
    visualization methods and techniques
    4 KB (477 words) - 22:42, 4 February 2009
  • OZCHI 2008
    Design Methods Evaluation Methods
    7 KB (957 words) - 22:45, 14 October 2008
  • ACM SAC UAS 2009
    * universal development methodologies, methods and techniques
    6 KB (843 words) - 23:38, 14 October 2008
  • I-USED 2008
    - Do existing usability evaluation methods deliver the results that are needed in user interface design? - How can usability evaluation methods be applied in emerging techniques for user interface design?
    10 KB (1,369 words) - 22:53, 14 October 2008
  • IWIC 2009
    - New methods or measures for the study of intercultural collaboration
    5 KB (742 words) - 23:02, 14 October 2008
  • CAMA 2008
    - Attention metadata generation (tools and methods), e.g. log analysis, social networks, etc.
    6 KB (890 words) - 22:53, 14 October 2008
  • CASCON 2008
    - Software Development Processes: development methods and = measurement and metrics; agile methods; open-source and global
    9 KB (1,193 words) - 22:53, 14 October 2008
  • Softvis 2008
    methods for graphically representing different aspects of software,
    3 KB (355 words) - 22:53, 14 October 2008
  • CDVE 2008
    ...ntegration and interoperability, intelligent infrastructures and automated methods for integrating systems, multi-level integration, enterprise integration Basic theories, methods and technologies that support CDVE (BT)
    4 KB (468 words) - 22:54, 14 October 2008
  • HCI 2008
    * Design and evaluation methods
    3 KB (322 words) - 22:41, 4 February 2009
  • AVI 2008
    ...ments, such as ubiquitous and pervasive computer applications. Both formal methods and concrete applications well fit into the framework of the conference, wh
    3 KB (361 words) - 22:55, 14 October 2008
  • IASTED-HCI 2008
    Analysis, Design, and Evaluation Methods Formal Methods in HCI
    2 KB (304 words) - 22:56, 14 October 2008
  • Metrics for Visual Analytics 2007
    ...evaluating visual analysis environments. If participants have used these methods already, please include lessons learned and references. If the proposal ha
    5 KB (757 words) - 22:57, 14 October 2008
  • Konvens 2008
    - Methods for the acquisition of lexical knowledge from digitized and linguistically
    6 KB (772 words) - 23:00, 14 October 2008
  • WoLLIC 2008
    ...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
  • QITL 2008
    ...erly reflect the reality of quantitative results. Simply put, quantitative methods and theoretical developments should mutually feed and influence each other.
    3 KB (411 words) - 23:00, 14 October 2008
  • LREC Wkshp Comparable Corpora 2008
    methods to collect parallel corpora from the Web. A more methods for mining comparable corpora.
    5 KB (647 words) - 23:00, 14 October 2008
  • CLS 2008
    * The application of the methods, theories, and metaphors of related disciplines like evolutionary biology,
    5 KB (668 words) - 23:00, 14 October 2008
  • LCC 2008
    Linguistic Relativity: evidence and methods
    3 KB (373 words) - 23:01, 14 October 2008
  • MATMT 2008
    ...parallel corpora to enrich their lexicons and grammars, and to create new methods for disambiguation. * Methods to compare and integrate translation outputs obtained with different MT app
    5 KB (708 words) - 23:01, 14 October 2008
  • JNLE 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
  • Methods XIII 2008
    | Acronym = Methods XIII 2008 | Title = 13th International Conference on Methods in Dialectology
    556 bytes (64 words) - 23:01, 14 October 2008
  • GWC 2008
    C. Tools and methods for WordNet development:
    3 KB (372 words) - 23:02, 14 October 2008
  • IDA 2009
    ...zing the often interactive data analysis process. Contributions describing methods should highlight potential insights into the data, the presented method off Methods can stem from, but are not limited to, the areas of Machine Learning, Stati
    2 KB (314 words) - 23:03, 14 October 2008
  • AIME 2009
    ...mplementation, and discuss the assumptions and limitations of the proposed methods. ...theory may include presentation or analysis of the properties of novel AI methods potentially useful in solving medical problems.
    7 KB (924 words) - 23:03, 14 October 2008
  • CORES 2009
    * Statistical, soft and structural methods of pattern recognition * Machine-oriented knowledge representation and inference methods
    6 KB (840 words) - 16:42, 27 December 2015
  • FDG 2009
    ...Studies | Game Design theme seeks reports of creative design practice and methods, as well as the exploration and development of innovative gameplay forms an ...ol design for games, latency issues, lag compensation, and synchronization methods, mobile and/or resource-constrained games, software and middleware support
    9 KB (1,275 words) - 14:46, 27 December 2015
  • IJCNN 2009
    * Connectionist methods in cognitive science and cognitive modeling (language, reasoning,perception ...zy,neuro-evolutionary systems, neuro-swarm, neural dynamic logic and other methods
    2 KB (199 words) - 18:55, 7 March 2020
  • AISTATS 2009
    * Integrated man-machine modeling methods * Kernel methods
    3 KB (341 words) - 19:39, 26 February 2020
  • EGC 2009
    is devoted to theories, methods and applications of Data Mining, Machine Learning, Knowledge Discovery in
    2 KB (286 words) - 11:44, 18 October 2008
  • PAKDD 2009
    A9. Statistical Methods
    2 KB (295 words) - 12:03, 18 October 2008
  • WILF 2009
    Methods and Algorithms
    5 KB (696 words) - 23:53, 14 October 2008
  • ASPOCP 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
  • AIAI 2009
    Reasoning Methods
    8 KB (1,111 words) - 23:04, 14 October 2008
  • ICONIP 2008
    ...y-, evolutionary- algorithms; Methods of evolving intelligence (EI); Novel methods for Hybrid intelligent systems (HIS); Cellular automata; Artificial Life sy
    5 KB (699 words) - 23:04, 14 October 2008
  • KAM 2008
    Evaluation of methods, techniques and tools for Knowledge Acquisition
    2 KB (314 words) - 23:04, 14 October 2008
  • WIALAMAS 2008
    * formal methods for verification of multi-agent systems
    5 KB (670 words) - 23:04, 14 October 2008
  • URSW 2008
    Effective methods for reasoning under uncertainty are vital for realizing many aspects of the
    9 KB (1,338 words) - 23:04, 14 October 2008
  • ICAART 2009
    ...on paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (bibliographic, experimental,
    18 KB (2,457 words) - 23:04, 14 October 2008
  • WI 2008
    We solicit Industry/Demo-Track papers by the following methods:
    7 KB (971 words) - 23:04, 14 October 2008
  • IAT 2008
    - Autonomy-Oriented Modeling and Computation Methods We solicit Industry/Demo-Track papers by the following methods.
    12 KB (1,601 words) - 23:04, 14 October 2008
  • SAMT 2008
    ...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
  • LPAR 2008
    ...gical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stu
    5 KB (799 words) - 21:49, 26 February 2020
  • ISWC 2008
    we have seen researchers and practitioners making best use of the methods and technologies reported at the event for their own research and practice.
    6 KB (854 words) - 12:05, 28 May 2016
  • KRAQ 2008
    ...sic evaluation of inference methods, data-intensive vs knowledge-intensive methods, evaluation of portability.
    7 KB (991 words) - 23:04, 14 October 2008
  • Workshop on Spatial/Temporal Reasoning 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
    3 KB (512 words) - 23:04, 14 October 2008
  • SNPD 2008
    * User-Centered Design Methods
    2 KB (167 words) - 23:05, 14 October 2008
  • AIPR 2008
    * Statistical methods for AI
    3 KB (346 words) - 23:05, 14 October 2008
  • ANNPR 2008
    Multiple classifier systems and ensemble methods.
    4 KB (572 words) - 23:05, 14 October 2008
  • CiE 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
  • HCP 2008
    ...build and testing of such systems, what design patterns are adequate, what methods and tools to use.
    4 KB (518 words) - 14:42, 27 December 2015
  • IPMU 2008
    ...every two years with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation of information in intelli
    1 KB (185 words) - 23:05, 14 October 2008
  • CVPR 2008
    Statistical Methods and Learning
    3 KB (339 words) - 13:28, 16 November 2020
  • CSKGOI 2008
    Methods for knowledge validation
    5 KB (710 words) - 23:05, 14 October 2008
  • AAMAS 2008
    - biologically-inspired methods - logic-based methods
    2 KB (334 words) - 17:14, 12 November 2020
  • ISAIM 2008
    ...sults with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the foc
    2 KB (246 words) - 23:05, 14 October 2008
  • ICTAC 09
    exploitation of theory through methods and tools for system * integration of theories, formal and engineering methods and tools
    8 KB (1,085 words) - 18:01, 12 February 2009
  • IWCS 2009
    * informal and formal semantic methods and their combination
    5 KB (726 words) - 17:37, 9 January 2009
  • ICCPOL 2009
    2. Text input methods
    4 KB (579 words) - 23:06, 14 October 2008
  • EMALP 2008
    | Title = The 2008 Empirical Methods for Asian Language Workshop ...s applications, systems, technologies and theoretical aspects of empirical methods for Asian language processing.
    2 KB (214 words) - 23:06, 14 October 2008
  • TLT 2009
    well as ongoing research, with an emphasis on novel approaches, methods,
    5 KB (629 words) - 23:06, 14 October 2008
  • TASLP-PMRL 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
  • QSI 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
  • EMNLP 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
  • EMNLP 2009
    |Title=Conference on Empirical Methods in Natural Language Processing '''Conference on Empirical Methods in Natural Language Processing'''
    1 KB (170 words) - 14:42, 19 February 2020
  • HLIE08
    ...traction (IE) techniques aim to extract informations from data sources. IE methods versatilely address naturally arising learning tasks where the data is gene ...fy future challenges and applications. We intend to cover a broad range of methods, including pipelined/hybrid approaches and structured prediction models; in
    4 KB (485 words) - 23:06, 14 October 2008
  • SMBM 2008
    emphasizing in particular work on methods deployed in a of interest of the conference, such as text mining methods and tools,
    6 KB (749 words) - 23:06, 14 October 2008
  • JBI: BNLP 2009
    ...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
  • ICGI 2008
    ...es, minimum description length, complexity-theoretic approaches, heuristic methods, etc.
    4 KB (505 words) - 23:06, 14 October 2008
  • AND 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
    4 KB (608 words) - 17:00, 27 December 2015
  • FSMNLP 2008
    | 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
  • STEP 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
  • MMIES2 2008
    - What methods are appropriate to detect similar/complementary/contradictory - What methods are available to tackle cross-document and cross-lingual
    8 KB (992 words) - 23:07, 14 October 2008
  • HJCL 2008
    of linguistic resources and methods in Computational Linguistics. They - What qualitative methods are useful for analysing human judgement
    6 KB (815 words) - 23:07, 14 October 2008
  • PKTLP 2008
    ...itionally, in Machine Learning, a strong focus has been put on data-driven methods that assume little a priori knowledge on the part of the learning mechanism
    5 KB (758 words) - 23:07, 14 October 2008
  • FG 2008
    formal and mathematical methods to the study of natural language. o model-theoretic and proof-theoretic methods in linguistics;
    5 KB (636 words) - 23:07, 14 October 2008
  • ManyMORE 2008
    working out methods and techniques to leverage them. Both AMD and
    5 KB (659 words) - 23:07, 14 October 2008
  • WDLS 2008
    * open challenges for distributional methods for semantic analysis;
    6 KB (821 words) - 13:17, 23 April 2020
  • TIR 2008
    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
  • WIKIAI 2008
    - Automatic methods for improving the quality of Wikipedia pages
    5 KB (736 words) - 23:07, 14 October 2008
  • SIGMORPHON 2008
    * Algorithms, including finite-state methods
    7 KB (908 words) - 23:07, 14 October 2008
  • SSST-2 2008
    * scalability of structured translation methods to small or large data
    4 KB (586 words) - 23:07, 14 October 2008
  • BEA 2008
    * Intelligent tutoring systems that incorporate state-of-the-art NLP methods
    6 KB (825 words) - 17:06, 27 December 2015
  • WMT 2008
    This workshop on statistical and hybrid methods for machine translation, and builds on the 2005 ACL Workshop on Parallel Te
    7 KB (897 words) - 23:07, 14 October 2008
  • WAC 2008
    * methods and tools for "cleaning" Web pages to turn them into a
    4 KB (587 words) - 23:07, 14 October 2008
  • SALTMIL 2008
    * With trained researchers: Methods and tools for facilitating * With non-specialist workers: Methods and tools for training new
    6 KB (814 words) - 23:07, 14 October 2008
  • OntoImage 2008
    There are two computer-aided methods for accessing images: Combining these two methods is currently a hot topic since it involves developing hybrid approaches usi
    5 KB (637 words) - 23:07, 14 October 2008
  • LAW II 2008
    supervised methods of statistical natural language
    4 KB (566 words) - 23:07, 14 October 2008
  • MCPSLR 2008
    - Evaluation of multilingual resources and methods for acquiring them.
    5 KB (676 words) - 23:08, 14 October 2008
  • IIS 2008
    ...mputing paradigms, including, but not restricted to biologically motivated methods, quantum computing, DNA computing,
    2 KB (183 words) - 23:08, 14 October 2008
  • NLPIX 2008
    * Effective search methods for mobile devices using NLP
    7 KB (968 words) - 23:08, 14 October 2008
  • Multiword expressions 2008
    language resources related to MWE and the methods for evaluation of 3. Extraction methods: Do methods generalise across languages? What
    6 KB (814 words) - 23:08, 14 October 2008
  • Journal of Information Technology & Poli 2008
    (i.e. via "supervised" machine learning methods), or methods that acquire automatic annotation systems from very small
    5 KB (682 words) - 09:30, 28 August 2020
  • AFRICOMM 2011
    * Cognitive radio and advanced spectrum management methods
    9 KB (1,127 words) - 17:19, 26 April 2011
  • CIDR 2009
    ...em architecture perspective rather than mathematical models or algorithmic methods. Papers are invited on innovative and visionary approaches to data systems ...em architecture perspective rather than mathematical models or algorithmic methods. Papers are invited on innovative and visionary approaches to data systems
    5 KB (701 words) - 17:08, 18 February 2021
  • APCCM 2009
    * Methods for developing, validating and communicating conceptual
    9 KB (1,137 words) - 23:08, 14 October 2008
  • RE 2009
    * Requirements specification languages, methods, processes, and tools
    7 KB (972 words) - 22:56, 4 February 2009
  • TWOMDE 2008
    * Ontology connectors to system models: methods and techniques for
    8 KB (994 words) - 23:09, 14 October 2008
  • DOLAP 2008
    necessities, but also new methods, models, techniques or architectures
    10 KB (1,288 words) - 11:52, 18 October 2008
  • ODBASE 2008
    ...echnologies in the years since the first ODBASE conference in 2002. Recent methods allow for scaling of semantic technologies to handling dozens of millions o
    8 KB (1,081 words) - 08:21, 22 December 2011
  • QDB 2008
    discussions and comparison of methods and approaches. In line with this open
    5 KB (658 words) - 23:09, 14 October 2008
  • I-KNOW 2008
    ** Methods for Knowledge Management ** Design methods and guidelines for social-focussed knowledge management
    4 KB (436 words) - 01:44, 16 December 2008
  • FlexDBIST 2008
    The goal of the workshop is to bring together researchers working on methods and techniques for Flexible Data Management in Databases and Information Sy
    7 KB (917 words) - 23:09, 14 October 2008
  • DMVE 2008
    Virtual Engineering addresses the application of virtual development methods and tools during first phases of the product life cycle: design, engineerin
    4 KB (512 words) - 16:46, 16 December 2020
  • SEBD 2008
    § Access Methods and Physical Design
    3 KB (305 words) - 08:44, 31 July 2020
  • EMMSAD 2008
    | Title = Thirteenth International Workshop on Exploring Modeling Methods in Systems Analysis and Design
    563 bytes (63 words) - 23:10, 14 October 2008
  • EJC 2008
    ...presentation of a domain. Diverse notions, rules, theories, languages, and methods for modelling at different levels have to be aimed at common understanding * Languages, tools and methods for conceptual modelling;
    8 KB (1,143 words) - 11:55, 20 June 2011
  • WAIM 2008
    - Storage management and access methods
    10 KB (1,376 words) - 23:10, 14 October 2008
  • ADW 2008
    * Methods of Deep Web Indexing * Methods of Deep Web Meta-Search
    7 KB (875 words) - 23:10, 14 October 2008
  • SDKB 2008
    * Formal Methods for data and knowledge base design
    2 KB (271 words) - 23:10, 14 October 2008
  • WGISD 2008
    ...results about all aspects (theory, applications and tools) of intelligent methods applied to Web based systems, and to discuss the practical challenges encou
    1 KB (153 words) - 23:11, 14 October 2008
  • Special Issue - Sensors 2009
    ...s of wireless sensors, including, but not limited to, theoretical studies, methods, technologies, prototypes, and practical applications.
    4 KB (600 words) - 16:30, 5 July 2020
  • BWCCA 2008
    ...rks become very complex and it seems imperative to focus on new models and methods as well as mechanisms, which can enable the network to perform adaptive beh
    7 KB (990 words) - 23:11, 14 October 2008
  • SePTIS 2008
    - Formal Methods for Web Applications
    4 KB (587 words) - 23:30, 14 October 2008
  • BIONETICS 2008
    ...a strategy to handle the complexity of such systems. The goal is to obtain methods on how to engineer technical solutions which have similar high stability an ...several disciplines in computer science and engineering where bio-inspired methods are investigated.
    5 KB (694 words) - 23:11, 14 October 2008
  • ISPACS 2008
    3. Numerical Methods and Circuit Simulation
    4 KB (496 words) - 23:12, 14 October 2008
  • MSWiM 2008
    - Formal methods for analysis of wireless systems
    4 KB (596 words) - 23:12, 14 October 2008
  • SIGDOC 2008
    ...h papers, workshop proposals, and experience reports concerning processes, methods, and technologies for communicating and designing communication artifacts s * Participatory and user-centered design: methods, methodologies, and approaches
    3 KB (460 words) - 23:12, 14 October 2008
  • IST 2008
    5 .52 Optimization Methods
    2 KB (250 words) - 23:12, 14 October 2008
  • WONS 2008
    a challenge in itself. Methods for self-organisation are strongly required to
    3 KB (413 words) - 23:13, 14 October 2008
  • ISCCSP 2008
    * Control design methods
    1 KB (171 words) - 23:13, 14 October 2008
  • NEFORS 2008
    alternative reasoning methods, which take incompleteness and conclusion in limited time-spans, using methods such as priming,
    7 KB (984 words) - 23:13, 14 October 2008
  • UWA 2008
    * Systematic evaluations of development methods
    7 KB (870 words) - 23:13, 14 October 2008
  • CIAWES 2008
    Problem solving methods and problem-based learning
    6 KB (839 words) - 23:13, 14 October 2008
  • SWSC 2008
    - Methods to describe evaluation aspects and parameters ...eople from the semantic web community in general, but also from the formal methods and software engineering community and from industrial research. The Challe
    10 KB (1,392 words) - 23:13, 14 October 2008
  • WICOW 2008
    methods for evaluation of Web content's trustworthiness.
    4 KB (638 words) - 23:13, 14 October 2008
  • SIRTEL 2008
    ...s. Developing, deploying and evaluating Social Information Retrieval (SIR) methods, techniques and systems that provide learners and teachers with guidance in - Current and new trends in SIR methods for TEL
    7 KB (989 words) - 23:13, 14 October 2008
  • ICPW 2008
    * Theories, Frameworks, Models and Methods * Evaluation perspectives and methods
    9 KB (1,139 words) - 23:14, 14 October 2008
  • MSoDa 2008
    ...searching for multimedia data (images, video, etc) personalization, search methods for social activities (find friends), text mining for blogs or other fora.
    3 KB (453 words) - 23:14, 14 October 2008
  • KASW 2008
    contributions including novel methods, techniques and algorithms, rigid
    7 KB (950 words) - 23:14, 14 October 2008
  • IEEE SRDS 2008
    * Formal methods and foundations for dependable distributed computing
    2 KB (255 words) - 23:14, 14 October 2008
  • EON-SWSC 2008
    * Semantic Web technology evaluation methods * Methods to describe evaluation aspects and parameters
    2 KB (290 words) - 23:14, 14 October 2008
  • SemWiki 2008
    getting overview. In a Semantic Wiki, such methods have to be integrated
    5 KB (709 words) - 19:41, 22 February 2009
  • AAMAS 2020
    * Applications of formal methods and declarative technologies for specification, verification and validation
    6 KB (659 words) - 17:41, 11 February 2021
  • PDCAT 2008
    2-01 Formal methods and programming languages
    5 KB (623 words) - 23:15, 14 October 2008
  • FIMN 2008
    of several communities: Algorithms, Formal Methods, Information systems, Data
    4 KB (563 words) - 23:15, 14 October 2008
  • IMC 2008
    * Design of monitoring systems, sampling methods, signal processing methods
    3 KB (313 words) - 23:15, 14 October 2008
  • NEW2AN 2008
    ...nvestigation and integration of new algorithms, approaches, architectures, methods and mechanisms to enable proper and efficient operation of a next-generatio
    5 KB (598 words) - 10:18, 29 May 2016
  • HPCS 2008
    o Asynchronous numerical methods.
    3 KB (434 words) - 23:15, 14 October 2008
  • TLIR 2008
    [1] Teaching and Learning methods:
    6 KB (898 words) - 23:16, 14 October 2008
  • GIR 2008
    ...all aspects of Geographic Information Retrieval - that is the provision of methods to identify geographic scope, retrieve and relevance rank documents or othe * design, construction, maintenance and access methods for geographical ontologies, gazetteers and geographical thesauri;
    3 KB (402 words) - 23:16, 14 October 2008
  • AMR 2008
    of a user, it is necessary to develop intelligent methods that are able approaches, (dynamic) data analysis methods, and visualization methods
    4 KB (526 words) - 23:16, 14 October 2008
  • INFOSCALE 2008
    information dissemination continue to diversify, new methods, modeling
    4 KB (491 words) - 23:16, 14 October 2008
  • SIP 2009
    Surface Fitting and Multiresolution Methods
    3 KB (431 words) - 23:16, 14 October 2008
  • SSP 2009
    ...nication, and statistics. The scope of the workshop includes basic theory, methods and algorithms, and applications in the following areas: - Monte Carlo methods
    2 KB (253 words) - 23:16, 14 October 2008
  • ISPRA 2009
    Differential Geometry methods in non-linear control
    8 KB (982 words) - 23:17, 14 October 2008
  • ICA 2009
    * Theory: optimization, complex methods, time-frequency representations;
    3 KB (341 words) - 23:17, 14 October 2008
  • EUROCON 2009
    Application of concepts and methods of physical and engineering sciences to biology and to medicine. Forward-looking methods and equipment for electric energy generation, transmission, distribution an
    6 KB (694 words) - 23:17, 14 October 2008
  • ICASSP 2009
    * Signal processing theory and methods
    4 KB (490 words) - 22:46, 4 February 2009
  • SPE 2009
    ...hers from around the world to discuss novel signal processing theories and methods, and to bring together world-class educators and thinkers to discuss all as
    2 KB (282 words) - 23:17, 14 October 2008
  • MMSP 2008
    * Comparison between bio-inspired methods and conventional methods. ...cessing technology and systems incorporating bio-inspired and conventional methods.
    4 KB (443 words) - 17:06, 24 February 2016
  • MLSP 2008
    ...he two areas of concentration for MLSP 2008 are cognitive radio and kernel methods for nonlinear signal processing. Papers are solicited for, but not limited Algorithms and Architectures: Artificial neural networks, kernel methods, committee models, Gaussian processes, independent component analysis, adva
    3 KB (456 words) - 23:17, 14 October 2008
  • CVISP 2008
    Kernel Methods and Support Vector Machines
    4 KB (438 words) - 23:17, 14 October 2008
  • SIGMAP 2008
    ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen
    3 KB (419 words) - 23:17, 14 October 2008
  • CIP 2008
    Graphical and kernel methods
    3 KB (366 words) - 23:17, 14 October 2008
  • MAXENT 2008
    | Title = International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering
    640 bytes (72 words) - 17:05, 24 February 2016
  • GENSIPS 2008
    * Pattern recognition methods for functional genomics * Novel architectures and implementation methods for large-scale functional genomics
    3 KB (443 words) - 23:17, 14 October 2008
  • IPSN 2008
    ...ormation Processing (IP) track, and the Sensor Platforms, Tools and Design Methods (SPOTS) track, with two separate program committees to evaluate their submi ...mplementation, focusing on new architectures, modeling, evaluation, design methods, implementations, tools, or deployment experiences. Results focused on the
    4 KB (570 words) - 23:17, 14 October 2008
  • ICASSP 2008
    Signal processing theory and methods
    3 KB (450 words) - 23:04, 4 February 2009
  • ESEM 2009
    ...te the strengths and weaknesses of software engineering's technologies and methods from an empirical viewpoint. It focuses on the processes, design and struct * Qualitative methods
    3 KB (396 words) - 20:08, 29 March 2013
  • IDEAS 2009
    * Formal Methods in Software Engineering * Languages, Methods, Processes and Tools
    8 KB (1,104 words) - 23:18, 14 October 2008
  • SDE 2009
    |Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering * Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
    1,009 bytes (123 words) - 02:16, 16 December 2008
  • CCBS 09
    * Engineering methods for high-assurance systems in real-time control applications * Safety Engineering methods for Unmanned Aerial Systems (UAS)
    5 KB (660 words) - 16:46, 27 December 2015
  • SWEiP 2009
    on new advances in software engineering methods, practices or tools. or negative, into new tools methods or practices in software engineering,
    5 KB (715 words) - 23:51, 14 October 2008
  • AOMP 2009
    ...result also including adopted modelling languages, techniques and specific methods.
    4 KB (567 words) - 23:38, 14 October 2008
  • SITIS-OSSDS 2008
    Software Engineering methods, users and communities interactions, software development platforms * OSS development methods in distributed collaborative environments
    5 KB (697 words) - 23:18, 14 October 2008
  • SERENE 2008
    ...l situations only at the late development phases, new software engineering methods and tools need to be developed to support explicit handling of abnormal sit Two dedicated sessions on formal methods for resilience and on resilience-explicit development are planned. We speci
    9 KB (1,264 words) - 18:14, 8 November 2008
  • GPCE 2008
    synthesis from specifications, development methods, non-code artifacts, formal methods, and reflection
    6 KB (695 words) - 14:45, 27 December 2015
  • ICEBE 2008
    - Design methods,tools and science for e-Business - Security, privacy and trust methods and solutions for enabling e-Business
    5 KB (594 words) - 16:29, 25 March 2020
  • CBSE 2008
    ...ms architectures push the limits of established and tested component-based methods, tools and platforms: * Integrated tool chains and methods for building component-based services;
    8 KB (1,033 words) - 23:18, 14 October 2008
  • SIGSOFT 2008
    ...ims to create a forum for PhD students working on foundations, techniques, methods, and tools in software engineering. This will provide participants with an
    7 KB (892 words) - 09:16, 8 July 2020
  • SEKE 2008
    * Formal Methods * Dynamic Service Composition �?? Semantics, Methods and Tools
    6 KB (733 words) - 12:48, 27 October 2016
  • IWSSE 2008
    ...n software engineering and inspiring collaborations and innovations on new methods and techniques to advance software security in our practices. Researchers a
    5 KB (615 words) - 09:55, 29 May 2016
  • WOSP 2008
    ...es, short time to market, incomplete documentation, and less-than-adequate methods, models and tools. The focus of WOSP is therefore in the intersection of so o methods and tools
    4 KB (449 words) - 23:18, 14 October 2008
  • REFSQ 2008
    ...to present original work. Contributions from cognate areas such as formal methods, systems engineering, human and computer interaction, economics and managem * development methods (e.g., product-line-driven, model-driven development),
    4 KB (503 words) - 23:18, 14 October 2008
  • ENASE 2008
    ...ioners to review and evaluate relatively new and original in conception SE methods, practices, architectures, technologies and tsools. An important underpinni formal methods,
    4 KB (463 words) - 13:54, 18 October 2008
  • M3 2011
    • Other Machining Methods
    4 KB (424 words) - 10:39, 24 June 2011
  • COMSWARE 2009
    * Methods and tools for designing, verifying, and evaluating principles, development methods, and business models
    3 KB (358 words) - 23:18, 14 October 2008
  • ADCSS 2008
    ...ic behaviour models. A problem is that the varying underlying mathematical methods are proprietary and difficult to assess. Model-Based Testing (MBT) is the a Formal methods for security
    18 KB (2,714 words) - 23:23, 14 October 2008
  • MLDM 2009
    * Neural Methods * Bayesian Models and Methods
    3 KB (443 words) - 18:35, 1 March 2012
  • SDM 2009
    Methods and Algorithms: Probabilistic and Statistical Methods
    4 KB (520 words) - 20:02, 26 February 2020
  • MCD 2008
    ...discovery can today be considered as stable fields with numerous efficient methods and studies that have been proposed to extract knowledge from data. Neverth ...rpretation (e.g. sorting or filtering) of the results, via the data mining methods themselves (e.g. classification, clustering, frequent patterns extraction,
    10 KB (1,461 words) - 15:33, 14 December 2008
  • SADM 2008
    ...create standardized procedures for designing more intelligent data mining methods. We believe that such an effort can lead to the development of the science
    2 KB (240 words) - 23:19, 14 October 2008
  • SSTDM 2008
    Spatial classification: methods that explicitly model spatial context Data structures and indexing methods for spatiotemporal data mining
    7 KB (888 words) - 23:19, 14 October 2008
  • IDAMAP 2008
    The IDAMAP series is devoted to computational methods for data Typical methods include data visualization, data exploration, machine
    7 KB (1,015 words) - 23:19, 14 October 2008
  • DTMBIO 2008
    | Title = ACM Second International Workshop of Data and Text Mining Methods in Bioinformatics
    622 bytes (73 words) - 23:19, 14 October 2008
  • WBBTMine 2008
    data mining algorithm and machine learning methods on Web 2.0 data. * applications of any of the above methods and technologies
    5 KB (646 words) - 23:19, 14 October 2008
  • FSDM 2008
    Integration with data mining algorithms Ensemble methods
    5 KB (505 words) - 23:19, 14 October 2008
  • PAN 2008
    Plagiarism analysis is a collective term for computer-based methods to
    5 KB (587 words) - 23:19, 14 October 2008
  • ARES 2009
    -Process based Security Models and Methods
    4 KB (487 words) - 10:42, 21 August 2020
  • WISEC 2009
    * Formal methods for wireless security
    2 KB (291 words) - 23:19, 14 October 2008
  • RTSS 2008
    * Formal methods
    2 KB (322 words) - 00:35, 15 October 2008
  • WAWC 2008
    applications that use these new methods i.e. applications that benefit
    5 KB (663 words) - 23:20, 14 October 2008
  • SP 2008
    Formal methods for security
    2 KB (262 words) - 23:20, 14 October 2008
  • UbiCC Sp. Issue 2009
    Testbeds, performance evaluation and formal specification methods
    4 KB (502 words) - 23:20, 14 October 2008
  • ASMDA 2008
    ...ds, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decisio * Monte Carlo Methods
    6 KB (842 words) - 23:21, 14 October 2008
  • LEARN 2009
    Propositionalization methods
    5 KB (569 words) - 23:21, 14 October 2008
  • PL 2008
    Methods for learning preference models and predicting preferences are among the ver ...scussion of recent advances in the use of machine learning and data mining methods for problems related to the learning and discovery of preferences, and to o
    5 KB (664 words) - 23:21, 14 October 2008
  • SMART 2008
    ...g which makes such systems increasingly difficult to target. Also, current methods of designing computer systems will no longer be feasible in 10-15 years tim
    4 KB (447 words) - 23:21, 14 October 2008
  • MEMS TECH 2008
    | Title = International Conference on Perspective Technologies and Methods in MEMS Design
    578 bytes (67 words) - 23:22, 14 October 2008
  • IITC 2008
    Exhibits/Seminars: New products, processes, analytical methods and materials will be exhibited at the conference on June 4 and 5. Supplier
    6 KB (798 words) - 23:22, 14 October 2008
  • ICISO 2009
    ...ding, but also on practical benefits gained so far through applications of methods and techniques derived from various approaches. * Organisational Semiotic theory, concepts, methods and techniques, and their practical applications
    5 KB (722 words) - 23:22, 14 October 2008
  • ESBE 2008
    * Formal methods for business concepts applied to services
    2 KB (285 words) - 23:22, 14 October 2008
  • SAECSIS 2009
    ...l known tools and notations of the involved roles. Ontologies provide good methods for these tasks and seem especially promising for software engineers.
    6 KB (778 words) - 23:22, 14 October 2008
  • Special Issue APGES 2008
    �?� New tools and methods for automatic generation of embedded systems
    3 KB (443 words) - 23:22, 14 October 2008
  • EPOS 2008
    ...becoming a discipline spanning a number of fields, with its own dilemmas, methods and techniques, its own influence on society, and its own contribution to k - How can simulations and other research methods be integrated?
    4 KB (523 words) - 23:23, 14 October 2008
  • SCC 2008
    Formal Methods for SOA
    18 KB (2,352 words) - 23:23, 14 October 2008
  • LICS 2008
    ...in theory, finite model theory, formal aspects of program analysis, formal methods, higher-order logic, hybrid systems, lambda and combinatory calculi, linear
    2 KB (285 words) - 15:11, 7 November 2016
  • NEWCAS-TAISA 2009
    * Mathematical methods and design tools
    3 KB (377 words) - 23:24, 14 October 2008
  • DATICS 2009
    ...brid and embedded systems). DATICS'09 also focuses on the fields of formal methods, low power design methodologies for integrated circuits and wireless sensor ...ng, SAT-based methods, use of PSL, compositional methods and probabilistic methods
    9 KB (1,181 words) - 00:37, 15 October 2008
  • ICTD 2009
    * Monitoring,Diagnosis and Prognostics methods
    2 KB (273 words) - 23:24, 14 October 2008
  • SM2ACD 2008
    | Title = 10th International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design ...change of new ideas and advances in the field of symbolic circuit analysis methods and their applications. Since there is a steadily growing interest in a wid
    3 KB (423 words) - 23:24, 14 October 2008
  • SCEE 2008
    4. Mathematical and Computational Methods
    1 KB (182 words) - 23:24, 14 October 2008
  • MWSCAS 2008
    ...ude regular and special sessions on emerging electronic systems and design methods, plenary sessions on selected advanced aspects of the theory, design and ap ...give high preference to 4 page manuscripts that clearly present the work, methods, results, originality, significance, superiority and applications of the te
    3 KB (364 words) - 23:24, 14 October 2008
  • MWCAS 2008
    ...ude regular and special sessions on emerging electronic systems and design methods, plenary sessions on selected advanced aspects of the theory, design and ap
    2 KB (187 words) - 23:24, 14 October 2008
  • NEWCAS 2008
    * Mathematical methods and design tools
    3 KB (391 words) - 23:24, 14 October 2008
  • CCIW 2009
    Planning this workshop, the organizers would like to focus on the methods and applications of digital color image processing and analysis. The worksh
    4 KB (584 words) - 23:24, 14 October 2008
  • IPTA 2008
    ...g and reconstruction in medical domain, biometry multimodal identification methods, and Content Based Image retrieval.
    4 KB (475 words) - 23:25, 14 October 2008
  • IWCIA 2008
    ...analysis is a scientific discipline providing theoretical foundations and methods for solving problems appearing in a wide range of areas, as diverse as medi * Methods for image compression
    6 KB (814 words) - 23:25, 14 October 2008
  • ICCV 2009
    Statistical Methods and Learning in Vision
    1 KB (185 words) - 14:09, 17 October 2016
  • CVPR 2009
    Statistical Methods and Learning
    3 KB (377 words) - 08:52, 17 October 2018
  • ICONS 2009
    Formal methods to specify systems' behavior
    11 KB (1,492 words) - 23:26, 14 October 2008
  • COMPLEX 2009
    * Complex Systems Methods o Multi-agent methods and new mathematical tools
    3 KB (378 words) - 23:26, 14 October 2008
  • WIOV 2008
    * Software methods for I/O device emulation
    3 KB (462 words) - 23:26, 14 October 2008
  • ACM SAC OE 2009
    Organizational engineering aggregates multi-disciplinary concepts, methods and technology to model, develop and analyze various aspects of changing or
    6 KB (746 words) - 23:26, 14 October 2008
  • IIMAS 2008
    | Title = Workshop on Information Integration Methods, Architectures, and Systems
    579 bytes (65 words) - 23:26, 14 October 2008
  • RAW 2008
    # High Level Design Methods
    4 KB (551 words) - 23:27, 14 October 2008
  • HiPEAC Industrial Wkshp 2007
    ...s include ways to continue Moore's law in spite of the frequency wall, new methods to reduce power consumption and to maintain circuit and system reliability
    4 KB (584 words) - 23:27, 14 October 2008
  • EDCC 2008
    * Formal methods for dependability.
    4 KB (528 words) - 23:27, 14 October 2008
  • VRCAI 2008
    + Multi-resolution and Multi-scale Methods, Level of Detail, Model Compression and Simplification
    4 KB (552 words) - 23:27, 14 October 2008
  • GRAPP 2008
    - Fundamental Methods and Algorithms
    4 KB (506 words) - 23:27, 14 October 2008
  • ATAI 2011
    Heuristic searching methods
    3 KB (397 words) - 10:23, 24 June 2011
  • SI at SIS08
    ...for all aspects of the organization of these networks. Swarm Intelligence methods seem particularly interesting in this context. This is because their abilit
    3 KB (363 words) - 23:28, 14 October 2008
  • CCDC 2009
    -Simulation Methods and Modeling Society, Chinese
    6 KB (814 words) - 23:28, 14 October 2008
  • ADCONIP 2008
    ...tion issues and experiences related to the application of advanced control methods in industry. The main topics for the meeting include, but are not limited t
    3 KB (397 words) - 23:29, 14 October 2008
  • IEEE TII 2008
    * DESIGN AND METHODS IN REAL-TIME AND (NETWORKED) EMBEDDED SYSTEMS: models of computation and formal methods; hardware/software co-design.
    3 KB (342 words) - 23:29, 14 October 2008
  • CRTS 2008
    - COMPOSITIONAL FORMAL METHODS: compositional techniques for modeling and formal methods; composition of validation and
    6 KB (707 words) - 23:29, 14 October 2008
  • JTRES 2008
    advantage of languages, tools, and methods that enable higher software
    6 KB (847 words) - 23:30, 14 October 2008
  • SenSys 2008
    Experimental methods, including measurement, simulation, and emulation infrastructure
    6 KB (771 words) - 16:09, 16 September 2019
  • MEMOCODE 2008
    | Title = Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign Formal Methods and Models for Codesign
    4 KB (526 words) - 23:30, 14 October 2008
  • APRES 2008
    reflexive diagnostics and steering methods. Such retrofitting
    7 KB (851 words) - 23:30, 14 October 2008
  • ECRTS 2008
    SYSTEM DESIGN AND ANALYSIS: modelling and formal methods;
    7 KB (870 words) - 23:30, 14 October 2008
  • FIT 2008
    signatures of methods and operations, but also take into account * Design methods for interfaces, design by contract
    4 KB (537 words) - 23:30, 14 October 2008
  • DIPES 2008
    new development methods and tools. Also, the increasing relevance of properties calls for new design methods and tools. Due to the growing
    5 KB (655 words) - 23:30, 14 October 2008
  • CIMTEC 2008
    ...hnologies have matured well beyond the conceptual stage. Widespread use of methods and tools enabling to manage matter down to the atomic scale, the developme
    2 KB (339 words) - 23:30, 14 October 2008
  • ISNM 2008
    Nanomanufacturing encompasses the methods, processes and systems required to produce goods that use nano-scale phenom
    3 KB (371 words) - 23:30, 14 October 2008
  • CISWSN 2008
    ...st on social semantic collaborative intelligence on the web for developing methods and tools: - Semantic Web researchers who use social semantic techniques fo
    6 KB (859 words) - 19:21, 17 November 2008
  • ONISW 2008
    * Ontology harmonization and merging: Methods and tools. * Global ontologies and Local as View (LAV) integration methods, problems and practice
    9 KB (1,173 words) - 23:31, 14 October 2008
  • ER 2008
    ...uch as theories of concepts and ontologies underlying conceptual modeling, methods and tools for developing and communicating conceptual models, and technique
    18 KB (2,282 words) - 17:11, 15 October 2008
  • DADS 2009
    ...e fairly well understood as complementary concepts and a variety of proven methods and techniques is available today. In accordance with Laprie we call this e * Foundations and formal methods (e.g., rigorous development of dependable systems, verification and refinem
    8 KB (952 words) - 23:31, 14 October 2008
  • IJCIBSB special issue 2008
    ...ng of classifiers based on, but not limited to, computational intelligence methods from fields such as:
    2 KB (276 words) - 23:31, 14 October 2008
  • WCB 2008
    | Title = Workshop on Constraint Based Methods for Bioinformatics
    544 bytes (62 words) - 23:31, 14 October 2008
  • ISMB 2008
    ...ce will focus on the development and application of advanced computational methods for biological problems.
    1 KB (146 words) - 23:32, 14 October 2008
  • ESOP 2009
    * Methods and tools to write, reason about, and specify languages and programs: modul * Methods and tools for implementation: rewriting systems, program transformations, p
    6 KB (824 words) - 23:32, 14 October 2008
  • LICS 2020
    * formal methods
    5 KB (656 words) - 11:29, 27 August 2020
  • CAV 2020
    * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
    2 KB (291 words) - 11:09, 20 November 2020
  • SIGAda 2008
    ...irements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requi ...been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must rem
    8 KB (1,079 words) - 23:32, 14 October 2008
  • PADS 2009
    ...has expanded its traditional focus on parallel and distributed simulation methods and applications to cover all aspects of simulation technology, including t * Algorithms and methods for parallel or distributed simulation, including synchronization, scheduli
    3 KB (372 words) - 23:32, 14 October 2008
  • IEMDC 2009
    ...ics and prognostics of machine drive systems, bearings current, sensorless methods, and turbogenerator operation and maintenance. Also of interest are papers
    4 KB (558 words) - 23:32, 14 October 2008
  • ICIT 2009
    ...wer management, power quality, electric vehicle, analytical and simulation methods, and e-learning in education.
    4 KB (504 words) - 23:33, 14 October 2008
  • IJISSS special issue 2008
    design methods, techniques and tools, requirements engineering for SOIS,
    4 KB (445 words) - 23:34, 14 October 2008
  • WORM 2008
    ...t the relevance of ontology reasoning services and ontology modularization methods to usage of large-scale and complex ontologies.
    7 KB (891 words) - 23:35, 14 October 2008
  • MSMC Europe 2008
    | Title = Modern Synthetic Methods & Chiral Europe: Reaction to Reality
    540 bytes (61 words) - 23:36, 14 October 2008
  • OnAV 2009
    ...rally, as the number of ontologies developed increases, comes the need for methods to integrate or align the separate ontologies. Ontology alignment algorithm ...make judgments on the quality of the alignment pairs that result from such methods. Promising techniques from the information visualization community can, and
    7 KB (983 words) - 23:36, 14 October 2008
  • FMCAD 2008
    | Title = Formal Methods in Computer-Aided Design ...hers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about
    2 KB (269 words) - 23:36, 14 October 2008
  • DAC 2008
    DAC 2008 is seeking papers that deal with design tools, design methods, design techniques, and embedded design in a number of categories described Design Methods and Case Studies papers describe innovative methodologies for the design of
    2 KB (322 words) - 12:03, 27 November 2020
  • MobiSec 2009
    ...networks, devices and applications. Papers from other areas, e.g., formal methods, cryptography, database security, operating system security, will be consid
    4 KB (451 words) - 23:37, 14 October 2008
  • CME 2009
    * High-throughput screening methods * Protein sorting methods
    3 KB (377 words) - 23:37, 14 October 2008
  • ICBBE 2009
    * Methods and biology effects of NMR/CT/ECG technology
    3 KB (332 words) - 23:37, 14 October 2008
  • SOFSEM 2009
    * formal methods for service oriented architectures
    6 KB (682 words) - 10:18, 14 April 2020
  • FM'08
    | Title = FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FM'08: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
    7 KB (979 words) - 23:37, 14 October 2008
  • SN 2008
    ...his vibrant field. Research is being undertaken to develop new networking methods, efficient power management strategies, and novel sensing and localization
    11 KB (1,533 words) - 23:38, 14 October 2008
  • DALT 2008
    areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten-
    8 KB (840 words) - 23:38, 14 October 2008
  • ICER 2008
    * A strong empirical basis, drawing on relevant research methods. Papers that re-interpret and explain others' empirical results are welcome
    3 KB (350 words) - 18:33, 20 December 2012
  • INMMIC 2008
    - Nonlinear analysis methods, CAD tools and stability analysis
    2 KB (245 words) - 23:38, 14 October 2008
  • FEM 2008
    * Adaptive Methods * Hybrid Methods (FE-BI/FDTD, FE-FV/Circuit Simulators/High-Frequency Techniques, Coupled-Ph
    2 KB (190 words) - 23:39, 14 October 2008
  • Cluster 2008
    - Application Methods and Algorithms
    5 KB (606 words) - 14:17, 8 April 2021
  • Structural Dynamics & Mat. 2009
    ...ference is dedicated to the development of non-deterministic perspectives, methods, and applications. ...sign synthesis, sensitivity analysis, approximation concepts, optimization methods and strategies, artificial intelligence, and rule-based design - all in the
    4 KB (540 words) - 23:39, 14 October 2008
  • HASE 2008
    ...privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confi ...bility, availability, security, safety, and timing analysis and evaluation methods
    6 KB (748 words) - 14:43, 27 December 2015
  • PMAPS 2008
    | Title = 10th International Conference on Probabilistic Methods Applied to Power Systems
    564 bytes (63 words) - 23:40, 14 October 2008
  • ISAPE 2008
    Analytical Methods D2. Differential Equation Methods
    4 KB (564 words) - 23:41, 14 October 2008
  • ECTC 2009
    ...r electronics,reliability physics,reliability predictions,reliability test methods and failure analysis.
    7 KB (1,023 words) - 23:41, 14 October 2008
  • SECOVAL 2008
    ...ough collaboration from previous years (e.g., benefits from collaboration, methods of creating or measuring trust, self-organizing coalitions and risk analysi
    3 KB (420 words) - 23:42, 14 October 2008
  • HSCMA 2008
    ...program will be scheduled to assign one day to multi-microphone processing methods, one day to hands-free speech communication issues, and one day to topics w
    2 KB (302 words) - 23:42, 14 October 2008
  • HotPAR 2009
    ...is change will require new concurrency-friendly programming paradigms, new methods of application design, new structures for system software, and new models o
    5 KB (740 words) - 23:42, 14 October 2008
  • ISPIM 2008
    Methods and tools for innovation
    3 KB (468 words) - 23:43, 14 October 2008
  • IJBET special issue 2008
    * Evaluation methods prior to clinical use * Deployment methods of DSS including the use of the Internet
    2 KB (206 words) - 23:43, 14 October 2008
  • IEEE TSC 2008
    ...ill emphasize the algorithmic, mathematical, statistical and computational methods that are central in services computing; the emerging field of Service Orien ...ill emphasize the algorithmic, mathematical, statistical and computational methods that are central in services computing; the emerging field of Service Orien
    3 KB (356 words) - 15:56, 15 February 2017
  • CAiSE 2018
    working on the models, methods, techniques, architecture, and technologies that
    710 bytes (95 words) - 15:44, 24 September 2020
  • SOFTEAM 2009
    ...tand the interplay between the involved disciplines we are able to deliver methods and integrated tool solutions that provide suitable collaboration and knowl * Research methods and approaches for analyzing and designing successful collaboration support
    3 KB (341 words) - 01:15, 31 May 2012
  • SemPub2016
    ...entity linking), or as an entity interlinking task, or as a combination of methods.
    6 KB (834 words) - 19:29, 1 June 2016
  • SECURWARE 2009
    ...; Tracking abuse tactics and patterns; Protecting legitimate use patterns; Methods for testing protection robustness; Costs and benefits of messaging use and ...raphic algorithms; Electronic payment systems; High-performance encryption methods; Group-oriented cryptography; Identity-based cryptography; Anonymous authen
    13 KB (1,617 words) - 19:03, 24 November 2008
  • TSSC 2009
    Introduction to Gröbner bases and other methods in
    3 KB (305 words) - 11:02, 28 November 2008
  • IJDEM
    ...from theories of data, information, semantics and knowledge to innovative methods, tools and domain-specific applications in all areas related to data. The j
    3 KB (440 words) - 12:20, 12 December 2008
  • I-KNOW 2009
    ** Methods for Knowledge Management ** Knowledge Representation and Modelling Methods
    2 KB (256 words) - 01:51, 16 December 2008
  • COLT 2018
    *Optimization methods for learning *Bayesian methods in learning
    3 KB (314 words) - 09:33, 1 April 2020
  • M4M-6
    |Title=6th Workshop on Methods for Modalities |Series=Methods for Modalities
    4 KB (535 words) - 10:05, 24 December 2008
  • SCSU GEC 2009
    ...ic sequential illustration to modern forms of visual storytelling); visual methods of graphic narration (structure and semiology; visual grammar, rhetoric and
    3 KB (423 words) - 10:06, 30 December 2008
  • ICBL 2009
    ** Advanced methods * E-learning methods, methodologies, tools
    3 KB (420 words) - 08:55, 30 July 2012
  • SPLC 09 PhDSymposium
    ...nts will have the opportunity to discuss their research, especially goals, methods, and preliminary results with the main researchers in the area. Thus, it is * The methods you are using or will use to carry out your research.
    6 KB (879 words) - 11:31, 14 January 2009
  • ADW 2009
    ** Methods of Deep Web Indexing ** Methods of Deep Web Meta-Search
    5 KB (763 words) - 12:56, 27 December 2015
  • ECRTS 2009
    * SYSTEM DESIGN AND ANALYSIS: modelling and formal methods; probabilistic analysis for RT systems; quality of service support; reliabi
    5 KB (720 words) - 14:46, 17 January 2009
  • EMISA 2009
    * enterprise modelling: languages, methods and tools
    2 KB (311 words) - 12:55, 18 January 2009
  • IAAI 2009
    ...technical papers, invited talks, and panel discussions to explore issues, methods, and lessons learned in the development and deployment of AI applications; ...d AI applications, by discussing efforts to apply AI tools, techniques, or methods to real world problems. Emerging applications are on aspects of AI applicat
    11 KB (1,724 words) - 12:55, 18 January 2009
  • DCAI 2009
    - Software Engineering and Formal Methods
    6 KB (812 words) - 12:55, 18 January 2009
  • M-ICTE 2009
    - Session 3: Methods and Environments for Education and Training
    4 KB (593 words) - 00:53, 2 February 2009
  • IJCAI-SpaceTime 2009
    ...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
    2 KB (304 words) - 12:57, 18 January 2009
  • CMNA 2009
    ? Methods to better convey the structure of complex argument,
    5 KB (658 words) - 12:58, 18 January 2009
  • NSS 2009
    * Standards and Assurance Methods
    12 KB (1,669 words) - 12:58, 18 January 2009
  • RIVF 2009
    ...f inter-disciplinary research work combining state-of-the-art theories and methods of different disciplines. Topics include, but are not limited to: o Agile methods, component-based, model-driven, grid-based software engineering
    5 KB (567 words) - 12:58, 18 January 2009
  • ISSAC 2009
    algebraic methods in computational geometry and in theorem proving
    4 KB (541 words) - 20:24, 25 February 2020
  • NEWS 2009
    - Unsupervised and semi-supervised methods for NE extraction - Unsupervised and semi-supervised methods for NE extraction
    10 KB (1,242 words) - 12:58, 18 January 2009
  • ECCTD 2009
    ◊ Mathematical Methods ◊ Computational Methods ◊ Applications
    3 KB (404 words) - 15:01, 27 December 2015
  • INFORMATICS 2009
    - Hybrid methods
    5 KB (633 words) - 12:58, 18 January 2009
  • MODELS 2009
    covering all categories of modeling languages, methods, tools, and their application of model-based methods, the 2009 conference has two distinct
    2 KB (208 words) - 17:05, 24 February 2016
  • ProMAS' 2009
    - Formal methods for specification and verification of MAS
    8 KB (977 words) - 12:59, 18 January 2009
  • Ptolemy 2009
    * Model engineering methods
    3 KB (335 words) - 00:52, 2 February 2009
  • ICPW at i-Semantics 2009
    * Theories, Frameworks, Models and Methods * Semiotic theory, concepts, methods and techniques, and their practical
    9 KB (1,148 words) - 13:00, 18 January 2009
  • DILS 2009
    experimental methods in the life sciences is giving rise to numerous large,
    4 KB (475 words) - 13:00, 18 January 2009
  • SCSU: Graphic Narrative 2009
    ...ic sequential illustration to modern forms of visual storytelling); visual methods of graphic narration (structure and semiology; visual grammar, rhetoric and
    3 KB (423 words) - 13:47, 23 January 2009
  • DaWaK 2009
    introduce innovative principles, methods, algorithms and solutions to challenging problems faced in the development
    7 KB (1,006 words) - 13:00, 18 January 2009
  • Springer-ECRJ JOURNAL CFP 2009
    methods, techniques and approaches for enhancing both trustability and
    5 KB (602 words) - 13:44, 23 January 2009
  • EMMSAD 2009
    | Title = Fourteenth International Conference on Exploring Modeling Methods in Systems Analysis and Design
    577 bytes (64 words) - 13:01, 18 January 2009
  • SERVICES 2009
    ...the science and technology of modernizing services industries using latest methods and technologies such as as Services Computing, which has been formally pro
    9 KB (1,183 words) - 13:41, 23 January 2009
  • BUSITAL 2009
    with the needs of the business? A number of frameworks and methods that follow. Recently, novel methods and techniques based on
    3 KB (465 words) - 13:01, 18 January 2009
  • KM-WEB 2009
    * Methods and business foundations for knowledge in B2B
    7 KB (890 words) - 13:01, 18 January 2009
  • CIRSE 2009
    covering a range of evaluation methods, techniques and tools for contextual
    7 KB (906 words) - 13:01, 18 January 2009
  • SUITE 2009
    - Methods of integrating indexed data from various sources and histories.
    5 KB (618 words) - 13:01, 18 January 2009
  • CGVCVIP 2009
    - Wavelet Methods
    5 KB (639 words) - 13:01, 18 January 2009
  • ICCSA 2009
    1. Computational Methods, Algorithms and Scientific Applications - Numerical Methods and Algorithms
    10 KB (1,321 words) - 13:01, 18 January 2009
  • NASSUE 2009
    * Formal methods and software engineering for NAS
    6 KB (793 words) - 15:12, 1 October 2020
  • DESRIST 2009
    ...structs, frameworks, models, methods, and systems; as well as the study of methods, behaviors, and processes related to design.
    5 KB (641 words) - 13:01, 18 January 2009
  • BNCOD 2009
    * File Access Methods and Index Structures
    4 KB (568 words) - 13:01, 18 January 2009
  • ProMAS 2009
    - Formal methods for specification and verification of MAS
    7 KB (917 words) - 13:02, 18 January 2009
  • IWMSE 2009
    tools and methods for cost-effectively developing reliable, fault
    4 KB (451 words) - 13:02, 18 January 2009
  • FSMNLP 2009
    | Title = Finite-State Methods and Natural Language Processing Finite-State Methods and Natural Language Processing - FSMNLP 2009
    10 KB (1,287 words) - 13:02, 18 January 2009
  • IWSSI/SPMU 2009
    ...es often lack powerful user interfaces to support classical authentication methods. Authentication protocols and methods for device pairing or user authentication
    11 KB (1,539 words) - 13:02, 18 January 2009
  • UC-Sec 2009
    ...orum for academic and industry professionals to discuss recent progress in methods and technology concerning the identification of risks, the definition of se
    6 KB (852 words) - 13:02, 18 January 2009
  • IAWSN 2009
    ? Formal methods for WSN security
    3 KB (450 words) - 13:02, 18 January 2009
  • PESOS 2009
    important issues, recent developments, applications, methods,
    5 KB (694 words) - 13:03, 18 January 2009
  • FroCoS 2009
    methods for the combination and integration of special formally defined * hybrid methods for deduction, resolution and constraint propagation;
    5 KB (669 words) - 13:03, 18 January 2009
  • TMA 2009
    * Methods for collecting and analyzing measurements in different network environments * Design of monitoring systems, sampling methods
    5 KB (431 words) - 13:03, 18 January 2009
  • DE@CAiSE'09
    methods with methods and techniques that may help reduce time-to-market, product
    8 KB (1,069 words) - 13:22, 28 January 2009
  • MAOS 2009
    methods, techniques and tools to successfully face with and overcome the
    4 KB (584 words) - 13:25, 28 January 2009
  • SEUC09
    - Biometric methods for ubiquitous computing
    7 KB (976 words) - 23:35, 28 January 2009
  • GPCE 2009
    synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection
    6 KB (795 words) - 14:55, 5 March 2012
  • SOCASE09
    *Agent-oriented modeling and design methods and tools for service-oriented software and Semantic Web development
    5 KB (642 words) - 16:32, 9 February 2009
  • SHWS 2009
    ...: QoS, security), and management and diagnosis, who investigate concepts, methods, techniques, and tools to design and manage self-healing Web Services.
    7 KB (960 words) - 16:33, 27 February 2009
  • CAA 2009
    |Title=Computer Applications and Quantitative Methods in Archaeology
    538 bytes (63 words) - 15:02, 12 January 2021
  • CI 2009
    Application of the Above Methods
    4 KB (428 words) - 21:06, 15 June 2009
  • Infoscale 2009
    As volume of data and knowledge keeps increasing, new methods, modeling paradigms, and structures
    4 KB (512 words) - 16:33, 27 February 2009
  • ICML ML Evaluation 2009
    | Title = ICML 2009 Workshop on Evaluation Methods for Machine Learning IV The Fourth Workshop on Evaluation Methods for Machine Learning
    5 KB (799 words) - 16:33, 27 February 2009
  • 3IA 2009
    - Intelligent methods of exploring virtual worlds.
    7 KB (771 words) - 14:37, 17 December 2020
  • AIDC 2009
    o Algebraic methods for knowledge representation and reasoning o Logical methods for knowledge representation
    8 KB (977 words) - 16:33, 27 February 2009
  • ESSA 2009
    ...olutionary and normal science where it is introducing more rigour into its methods. Come to participate in the formation of a new science!
    4 KB (521 words) - 14:49, 27 December 2015
  • VTDC 2009
    evaluation of IaaS platforms, through new methods of resource management
    5 KB (576 words) - 16:34, 27 February 2009
  • FACS 2009
    Formal methods consist of mathematically-based areas of component software and formal methods to promote a deep
    8 KB (1,079 words) - 17:05, 27 February 2009
  • SBMF 2009
    |Title=Brazilian Symposium on Formal Methods 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
    7 KB (1,094 words) - 11:42, 29 September 2016
  • MDPLE 2009
    ...ven Product Line Engineering involves to define suitable model driven test methods for SPL, as well as to reuse promising modularization and composition techn
    7 KB (910 words) - 17:06, 27 February 2009
  • ACML 2009
    * Ensemble methods * Evaluation of learning methods
    5 KB (607 words) - 17:03, 27 December 2015
  • SEASS 2009
    * Accountability of services, including mechanisms, algorithms and methods to monitoring, analysing and reporting service status and usage profile
    6 KB (855 words) - 17:06, 27 February 2009
  • FCT 2009
    heuristic methods; parallel and distributed computing; circuits and boolean functions; online ...computability and nonstandard computing models; algebraic and categorical methods; logics and model
    2 KB (282 words) - 11:28, 21 April 2021
  • Valuetools 2009
    - Analytical methods - Approximation methods
    5 KB (684 words) - 17:06, 27 February 2009
  • IJERTCS 2009
    - Design methods - Modeling and verification methods
    5 KB (646 words) - 17:06, 27 February 2009
  • KSE 2009
    - Formal Methods
    6 KB (654 words) - 17:06, 27 February 2009
  • WAOA 2009
    experimental methods used to design and analyze efficient
    4 KB (547 words) - 17:06, 27 February 2009
  • ATVA 2009
    -- Applications of theory in engineering methods and other particular verification by abstraction, improved representations. Methods and
    6 KB (801 words) - 17:06, 27 February 2009
  • WG 2009
    ...rewriting systems, graph-based modeling, graph-drawing and layout, diagram methods, and support of these concepts by suitable implementations. The scope of WG
    3 KB (426 words) - 17:06, 27 February 2009
  • WISM-AICI 2009
    Heuristic searching methods
    5 KB (604 words) - 17:06, 27 February 2009
  • Digital History LU 2009
    The use of the computer and Internet in the methods, techniques and work of historians is coming under ever-wider examination. 2. Contemporary history on the Web today: methods and writing;
    3 KB (466 words) - 17:06, 27 February 2009
  • IEEM 2009
    • Decision Analysis and Methods
    3 KB (399 words) - 17:06, 27 February 2009
  • IJSC 2009
    ...reasoning on the Web, and furthermore to investigate alternative reasoning methods, which take incompleteness and distribution of data and knowledge as inhere
    3 KB (440 words) - 17:06, 27 February 2009
  • ICEIS 2009
    There are a number exspene-free methods to spice up YouTube views on your videos. In case you don't need to shell o
    782 bytes (134 words) - 06:46, 19 May 2012
  • ICIQ 2009
    Methods, concepts, and tools for IQ
    5 KB (690 words) - 17:07, 27 February 2009
  • SR 2009
    ...ti-disciplinary approach which will provide the abstractions, foundations, methods, and tools required to give answer to questions concerning reasoning over s
    5 KB (644 words) - 22:00, 27 February 2009
  • TRDSE 2009
    • Risk Quantification and Management methods for Dependability in Digital Ecosystems
    4 KB (600 words) - 17:07, 27 February 2009
  • ICCCI 2009
    ...ernationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) s
    2 KB (258 words) - 17:07, 27 February 2009
  • ALGOSENSORS 2009
    * Methods for ad-hoc deployment/topology control
    6 KB (750 words) - 16:50, 27 December 2015
  • SBBD 2009
    * Access methods and indexing
    9 KB (1,249 words) - 08:42, 7 October 2011
  • FMN 2009
    ...ibilities for research of novel communication protocols, architectures and methods towards Future Multimedia Networking Syste!
    11 KB (1,463 words) - 17:07, 27 February 2009
  • ICOCI 2009
    • Formal Methods, Verification
    3 KB (319 words) - 17:07, 27 February 2009
  • ITALICS: Virtual Worlds issue 2009
    ...ntegrating virtual worlds with social media, VLEs and traditional teaching methods
    2 KB (279 words) - 17:07, 27 February 2009
  • ISC 2009
    ...n and Response Surfaces, Parallel and Distributed Systems, Virtual Worlds, Methods for Special Applications, Practice, Extensions, XML, Open Source, Model Dev ...n and Design, Manufacturing Modeling Architectures, Manufacturing Modeling Methods, Simulation of Manufacturing Operations, Optical Engineering and Thermoflui
    38 KB (4,832 words) - 17:07, 27 February 2009
  • CSIT 2009
    Computational Methods and Mathematical Programming
    1 KB (175 words) - 17:07, 27 February 2009
  • DIMVA 2009
    intrusion detection methods for fraud detection in business level
    8 KB (1,020 words) - 17:07, 27 February 2009
  • FOMI 2009
    methods, theories, tools and applications based on formal ontologies. There
    5 KB (637 words) - 17:08, 27 February 2009
  • GDN Journal 2009
    ...ion, integrating new areas of information systems research with new models/methods leading to a fast evolution in Group Decision Support Systems (GDSS) and Ne ...l Programming Methods, Multiattribute Utility and Value Theory, Outranking methods, Interactive Procedures, are an integral part of MA.
    3 KB (378 words) - 17:08, 27 February 2009
  • RelMiCS-AKA 2009
    | Title = 11th International Conference on Relational Methods in Computer Science / 6th International Conference on Applications of Kleen 11th International Conference on Relational Methods in Computer Science
    7 KB (912 words) - 17:08, 27 February 2009
  • ICKE 2009
    ...owledge Engineering is a multidisciplinary field, bringing in concepts and methods from several computer science domains such as artificial intelligence, data ...on paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (bibliographic, experimental,
    11 KB (1,563 words) - 06:56, 12 April 2012
  • ISMB BioLINK 2009
    scientific publishing, and the impact of information extraction methods (be * New methods, measures and corpora for testing and evaluating literature
    5 KB (661 words) - 17:08, 27 February 2009
  • PST 2009
    - Metrics and methods for user interface assessment
    12 KB (1,690 words) - 17:08, 27 February 2009
  • ESORICS 2009
    - formal methods in security
    6 KB (828 words) - 17:08, 27 February 2009
  • VCL-ViSU 2009
    New Methods for Evaluation and Benchmarking
    7 KB (1,031 words) - 22:08, 27 February 2009
  • SISAP 2009
    - Basic techniques: general methods that apply to arbitrary metric - Applied techniques: methods that apply to specific similarity search
    6 KB (854 words) - 17:08, 27 February 2009
  • TIR 2009
    society. Methods for text-based information retrieval receive special Advanced information retrieval and extraction uses methods from different
    3 KB (400 words) - 21:02, 27 February 2009
  • IMC 2009
    * Design of monitoring systems, sampling methods, signal processing methods
    6 KB (774 words) - 17:08, 27 February 2009
  • SODA 2020
    ...d data structures for discrete problems. In addition to the design of such methods and structures, the scope also includes their use, performance analysis, an
    1 KB (172 words) - 07:26, 25 August 2020
  • TABLEAUX 2020
    ...rnational Conference on Theorem Proving with Analytic Tableaux and Related Methods
    260 bytes (32 words) - 17:11, 27 February 2020
  • CoNLL 2020
    *Machine learning methods applied to natural language processing tasks (speech processing, phonology, *Symbolic learning methods (Rule Induction and Decision Tree Learning, Lazy Learning, Inductive Logic
    3 KB (349 words) - 11:44, 3 August 2020
  • DAH 2009
    explore new developments in generic methods and technologies
    5 KB (644 words) - 15:16, 16 December 2020
  • GRAPP
    - Fundamental Methods and Algorithms
    4 KB (532 words) - 18:46, 7 January 2010
  • AOSE09
    * Formal methods for agent-oriented systems, including specification
    8 KB (1,153 words) - 22:41, 23 March 2009
  • SDG09
    *Methods and tools to define and deploy software development governance approaches
    4 KB (593 words) - 22:54, 23 March 2009
  • APSIPA ASC 2009
    practitioners as the numerous methods developed for single channel images are
    3 KB (472 words) - 15:29, 30 March 2009
  • ESWC 2021
    *Methods for knowledge graph and data cleansing and completion
    5 KB (607 words) - 19:34, 22 March 2021
  • BIR 2020
    * Web methods and languages
    4 KB (571 words) - 12:58, 9 March 2020
  • IJCSIS 20092
     Hybrid Computational Methods
    5 KB (578 words) - 10:21, 20 November 2020
  • CSEDU 2010
    - Assessment methods in blended learning environments
    5 KB (661 words) - 15:49, 8 December 2009
  • CIMI 2009
    * Statistical methods / population-based analysis
    4 KB (532 words) - 20:21, 4 June 2009
  • IdSpace
    ...n knowledge elicitation and knowledge sharing. Innovators need appropriate methods and supportive tools to generate ideas, reuse them, take them apart, critic To move the discussion on the validation and dissemination of useful methods and tools for innovative design a step ahead, a workshop will be organised
    6 KB (912 words) - 23:19, 4 June 2009
  • ISIVC 2010
    * New methods in signal processing education
    5 KB (630 words) - 11:13, 1 November 2009
  • CA 2009
    ...conforms to the twelve principles formulated by the Agile Manifesto. Agile methods generally promote: ...ction in several domains. Contributions on software engineering or process methods are welcome, but not limited in theses fields. The following list of topics
    5 KB (627 words) - 16:46, 27 December 2015
  • ATDM 2009
    * Development methods for agent based systems in emergency management.
    6 KB (783 words) - 17:04, 27 December 2015
  • ICCMS 2010
    ■Mathematical and Numerical methods in simulation & modeling Submission Methods
    4 KB (435 words) - 11:32, 2 August 2009
  • ISTC 2010
    ...a broad overview of the current status and advanced research in iterative methods and their application to information theory and digital communications. All
    3 KB (384 words) - 11:32, 2 August 2009
  • TRSH 2009
    randomised algorithms, in addition to the mathematical methods that
    4 KB (482 words) - 11:32, 2 August 2009
  • EDUCON 2010
    ...nary forum for academic, research and industrial collaboration on teaching methods, practical experiences and research towards the future of global Engineerin * Area 4: Educational Methods and Learning Mechanisms in Engineering Education
    4 KB (499 words) - 14:57, 27 December 2015
  • FPGA 2010
    ...s and circuit-level techniques, impact of process and design technologies, methods for analyzing and improving issues with soft-errors, leakage, static and dy
    5 KB (632 words) - 11:32, 2 August 2009
  • REPC 2010
    ...l also benefit from exposure to the advanced technologies and applications methods presented as part of the conference forum.
    2 KB (205 words) - 11:33, 2 August 2009
  • ISSTA 2010
    ...research, new techniques, or in-depth case studies of testing and analysis methods.
    2 KB (283 words) - 11:33, 2 August 2009
  • DERIS 2009
    7th Conference on Computer Methods and Systems ..., recently number of researches have realized that the lack of systematic methods and formal techniques for the design, evaluation and refinement is often an
    6 KB (864 words) - 11:33, 2 August 2009
  • ACM SAC OOPS 2010
    * Type systems, static analysis, formal methods
    5 KB (743 words) - 17:02, 27 December 2015
  • ISCRAM 2010
    * Research Methods
    4 KB (528 words) - 11:33, 2 August 2009
  • VRCAI 2009
    + Multi-resolution and Multi-scale Methods, Level of Detail, Model Compression and Simplification
    4 KB (536 words) - 11:34, 2 August 2009
  • IPMU 2010
    ...every two years with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation of information in intelli ...heory, Utility Theory, Fuzzy Sets and Fuzzy Logic, Rough Sets, Aggregation Methods, Knowledge Representation, Approximate Reasoning, Non-classical Logics, Def
    2 KB (253 words) - 10:51, 17 July 2020
  • ANNPR 2010
    Multiple classifier systems and ensemble methods.
    4 KB (473 words) - 11:34, 2 August 2009
  • MS 2009
    * Spectral methods
    4 KB (512 words) - 11:34, 2 August 2009
  • MIS Review - Special Issue 2009
    Robust scalable statistical methods
    5 KB (657 words) - 11:34, 2 August 2009
  • 3PGIC 2010
    ...pplications. The aim of this workshop is to present innovative researches, methods and techniques related to P2P, Grid and Internet computing. The workshop se
    7 KB (912 words) - 17:36, 5 November 2020
  • IJCSIS 2009
     Hybrid Computational Methods
    5 KB (599 words) - 10:21, 20 November 2020
  • PerNEM 2010
    support, simulation tools and modelling methods with focus on system design,
    4 KB (479 words) - 11:35, 2 August 2009
  • NFPSLAM-SOC 2009
    characteristics (and methods of guaranteeing these properties) in the * Formal methods for NFP and Quality of Services.
    8 KB (1,033 words) - 11:35, 2 August 2009
  • Security 2009
    ...; Tracking abuse tactics and patterns; Protecting legitimate use patterns; Methods for testing protection robustness; Costs and benefits of messaging use and ...raphic algorithms; Electronic payment systems; High-performance encryption methods; Group-oriented cryptography; Identity-based cryptography; Anonymous authen
    6 KB (746 words) - 11:35, 2 August 2009
  • IHTC 2010
    ...e conference is to provide a forum for the exposure and exchange of ideas, methods, and results in heat and mass transfer.
    3 KB (423 words) - 11:35, 2 August 2009
  • IBWAS 2009
    ...on paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (bibliographic, experimental,
    9 KB (1,261 words) - 11:35, 2 August 2009
  • ICVS 2007
    Methods and metrics for performance evaluation  Pertinence: Does the paper describe methods or theories concerning the theme of the conference?
    2 KB (339 words) - 11:35, 2 August 2009
  • ESBE 2009
    Educational methods for teaching service ecosystem
    4 KB (586 words) - 11:35, 2 August 2009
  • ASWEC 2010
    * Agile Methods in Practice * Formal Methods
    8 KB (1,112 words) - 11:35, 2 August 2009
  • WOP 2009
    * Problem solving methods and patterns
    10 KB (1,318 words) - 11:35, 2 August 2009
  • DMBD 2009
    • Biomarker data integration and information retrieval methods
    5 KB (670 words) - 11:35, 2 August 2009
  • SemRUs 2009
    - Does the Semantic Web require languages based on formal methods ?
    4 KB (536 words) - 11:35, 2 August 2009

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

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