Search results

Jump to: navigation, search

Page title matches

Page text matches

  • ...have discussed widely in the last years, and many attempts at using formal methods for specification and verification in this setting have been made. Session * Formal methods and models for Service Oriented Computing
    7 KB (957 words) - 15:15, 11 August 2008
  • ...ments from different subject areas in order to deliver innovative semantic methods and applications. ...Web Semantics publishes high quality papers that cover theoretical issues, methods, tools, system descriptions and applications. Papers should be normal journ
    6 KB (887 words) - 18:02, 10 November 2011
  • feature up to 10 technical research paper sessions, full-day and track, a doctoral symposium and a special track on European research
    6 KB (764 words) - 11:49, 26 August 2020
  • |Title=Conference on Empirical Methods in Natural Language Processing '''The 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP 2020)'''
    5 KB (612 words) - 10:41, 2 June 2020
  • * Formal methods * Methods of development
    4 KB (564 words) - 12:33, 8 December 2020
  • ...ch areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages * Integration of formal methods and static analysis in high-level hardware design or software environments;
    4 KB (543 words) - 16:39, 16 July 2020
  • ...ferences provides a biennial, international forum for the communication of research advances on the principles of database systems. This year, for the first ti ...ted, but not exclusive, topics of interest for submissions include: Access methods and physical design; Active databases; Complexity and performance; Constrai
    5 KB (753 words) - 18:59, 25 June 2012
  • ...mation Retrieval. The conference encourages the submission of high quality research papers reporting original, previously unpublished results. .... Authors are encouraged to demonstrate work in progress and late-breaking research results.
    6 KB (875 words) - 19:00, 4 September 2008
  • * deductive methods * [[has PC member::Thomas Ball]], Microsoft Research
    5 KB (614 words) - 17:22, 11 September 2008
  • challenging areas of research and development of future ICT-enabled applications: to focus on new models and methods as well as mechanisms, which can enable the network to perform adaptive
    13 KB (1,706 words) - 16:34, 27 December 2015
  • ...by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industr All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in pr
    11 KB (1,371 words) - 12:28, 18 May 2020
  • ...ptual models into effective implementations. We invite papers highlighting research findings and work in progress as well as scholarly reviews in a range of ar
    7 KB (872 words) - 13:20, 5 March 2012
  • ...ith incomplete patterns, advanced ranking algorithms and advanced indexing methods. ...ng systems put pressure on database communities to push the ‘de facto’ methods to support new requirements in terms of scalability, privacy, performance,
    11 KB (1,446 words) - 18:26, 13 October 2008
  • |Title=Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign ...ally encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/softwa
    5 KB (708 words) - 18:23, 13 October 2008
  • ...ce conditions, non-determinism in thread interactions, a lack of debugging methods, and poorly understood performance consequences. Automatic parallelization ...form of a position paper, new ideas, initial results, overview of ongoing research, or even a historical perspective. Submissions are due November 3; notifica
    5 KB (752 words) - 14:50, 25 September 2008
  • ...against software quality criteria, ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends and propose new direc ...nd practitioners to review and evaluate emerging as well as established SE methods, practices, architectures, technologies and tools. An important underpinnin
    7 KB (959 words) - 14:51, 27 December 2015
  • ...nd provide foundations for deployable NLP systems. Similarly, unsupervised methods, such as those based on EM training, have also been influential, with appli ...Many semi-supervised learning methods (e.g. transductive SVM, graph-based methods) have been originally developed for binary classification problems. NLP pro
    7 KB (961 words) - 05:50, 14 October 2008
  • IDC 2009 will present and discuss the most innovative contributions to research, development, and practice in these areas, gathering the leading minds in t * Methods, techniques, and guidelines for requirements analysis, design, and evaluati
    5 KB (631 words) - 05:50, 14 October 2008
  • researchers in academia, industry, and government, describing original research ◦ Application Methods and Algorithms
    4 KB (452 words) - 17:47, 7 April 2021
  • ...SYMPOSIUM or MINI-SYMPOSIUM represent the first publications of original research, the respective organizer can propose them for publication, collectively, We call upon the research community to propose SYMOSIA or MINI-SYMPOSIA on a topic of their choice fr
    5 KB (658 words) - 17:47, 14 October 2008
  • The goal of the GEMS workshop is to further stimulate research on semantic spaces and distributional methods for NLP, by adopting an interdisciplinary
    6 KB (857 words) - 04:56, 15 September 2009
  • methods for research on human language acquisition. Developing and help initiate interdisciplinary research projects. Success in this
    7 KB (888 words) - 21:58, 14 October 2008
  • ...has provided the meeting place for the visual coding community: industry, research, academia, and users. The 27th PCS will be held in Chicago, Illinois, USA, * Subjective and objective quality assessment metrics and methods
    3 KB (348 words) - 17:47, 14 October 2008
  • ...r the Web Science , is an international attempt to promote the WEB SCIENCE research and to bring together the international community for a dialogue on the mai - The Definition of Methods, Theories and Constitutional Elements of the WEB SCIENCE
    2 KB (349 words) - 17:47, 14 October 2008
  • Academics and practitioners with an interest in research, theory, technologies, design, and applications related to persuasion are i ==Research themes/tracks==
    8 KB (989 words) - 20:13, 22 February 2009
  • ...s. The manual maintenance of pertinent provenance information such as what methods, what parameters, who and when created and/or modified, is not only time co ...d/or experiences. The workshop is also expected to help shape a provenance research agenda in the years ahead.
    3 KB (416 words) - 17:48, 14 October 2008
  • We solicit both academic, research, and industrial contributions on topics regarding new views on Internet pro Traffic analysis: methods for analysis and visualization of multidimensional measurements, characteri
    11 KB (1,385 words) - 17:48, 14 October 2008
  • ...d, when combined with multimedia information encompasses a large number of research topics and emerging applications. A list of relevant topics is provided bel ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen
    8 KB (1,026 words) - 17:48, 14 October 2008
  • * the study of legal reasoning and argumentation using computational methods .... ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications and stimulates interdisciplinary and int
    7 KB (998 words) - 17:48, 14 October 2008
  • methods for creating models of individual and group behavior from data. While behavior modeling is part of many research communities, such as
    2 KB (204 words) - 12:45, 27 December 2015
  • ...gy. For FPGA 2009, we are soliciting original submissions describing novel research and developments in the following (and related) areas of interest: ...s and circuit-level techniques, impact of process and design technologies, methods for analyzing and improving issues with soft-errors, leakage, static and dy
    4 KB (561 words) - 17:48, 14 October 2008
  • o real-time system modeling and analysis o formal methods o control theoretic models and performance feedback control o hardware / o integrated design methods for CPS
    8 KB (939 words) - 17:48, 14 October 2008
  • ...a widely selected forum among Scientists and Engineers to exchange ideas, methods, and techniques in the field of Nonlinear Dynamics, Chaos, Fractals and the ...ynamics, Chaotic theory and Application for exchanging views and reporting research findings.
    3 KB (363 words) - 21:21, 14 October 2008
  • ...ews on HRI and different approaches taken. In the highly interdisciplinary research field of HRI, a peaceful dialogue among such approaches is expected to cont # New methods and methodologies to carry out and analyze human-robot interaction
    7 KB (1,033 words) - 16:35, 9 October 2020
  • ..., Knowledge Management, and Network Science. It is committed to addressing research that both deepen the understanding of computational, logical, cognitive, ph ...topics will be embedded inside WI. WI’17 features high-quality, original research papers and real-world applications in all theoretical and technology areas
    1 KB (168 words) - 09:31, 26 February 2020
  • ...g and data mining methods to real-world problems, particularly exploratory research that describes novel learning and mining tasks and applications requiring n
    1 KB (142 words) - 11:39, 17 October 2008
  • ...rs and practitioners involved in different but related domains to confront research results and discuss key problems. CSCWD 2009 has a theme on Human Centered * Techniques, methods, and tools for CSCW in design
    5 KB (674 words) - 20:05, 14 October 2008
  • ...communications field, which is quite vast, encompassing a large number of research topics and applications: from practical issues to the more abstract theoret ...Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral a
    9 KB (1,219 words) - 20:05, 14 October 2008
  • • Formal Methods Creative Industries Research Institute
    5 KB (530 words) - 10:27, 24 June 2011
  • # Purpose, Methods, Results, and Conclusions * Peter Börnert, Ph.D., Philips Research Labs Hamburg, Hamburg, Germany
    2 KB (273 words) - 16:00, 2 February 2009
  • ...orkshop series traditionally provide a forum for presenting and discussing research results and applications in the intersection of pattern recognition, image - belief-propagation methods,
    3 KB (344 words) - 00:44, 15 October 2008
  • Submission and Contact Methods IVSP 2024 can provide a better platform for academic communication in research and development, professional practice in video, image and signal processin
    982 bytes (135 words) - 08:44, 18 August 2023
  • ...hose involving new and emerging technologies, applications and development methods. EICS will be inclusive, bringing together researchers and practitioners fr * methods or techniques for evaluating user interfaces
    4 KB (575 words) - 14:56, 27 December 2015
  • research, discussion about them and the generation of visualization methods and techniques
    4 KB (477 words) - 22:42, 4 February 2009
  • Design Methods Evaluation Methods
    7 KB (957 words) - 22:45, 14 October 2008
  • * universal development methodologies, methods and techniques LaSIGE Research Laboratory and University of Lisbon
    6 KB (843 words) - 23:38, 14 October 2008
  • ...evelopers? work with usability within this approach, more than 20 years of research in Human-Computer Interaction (HCI) has created and compared techniques for ...ith successful and to-the-point results has proved difficult. In addition, research in Human-Computer Interaction (HCI) and Software Engineering (SE) has been
    10 KB (1,369 words) - 22:53, 14 October 2008
  • ...heir infancies. Furthermore, there is a need to bring the various involved research communities together to discuss and advance the understanding of attention ...ration between communities, e.g. by discussing relevant cross-disciplinary research approaches for attention metadata. In more detail, the workshop aims to dis
    6 KB (890 words) - 22:53, 14 October 2008
  • NATIONAL RESEARCH COUNCIL CANADA papers program will feature experience reports and original research
    9 KB (1,193 words) - 22:53, 14 October 2008
  • methods for graphically representing different aspects of software, computer science education) to present original research on software
    3 KB (355 words) - 22:53, 14 October 2008
  • ...ments, such as ubiquitous and pervasive computer applications. Both formal methods and concrete applications well fit into the framework of the conference, wh Advanced research, on innovative interaction paradigms and systems
    3 KB (361 words) - 22:55, 14 October 2008
  • ...ns are vital in visual analytics as they contribute greatly to adoption of research software. The issues we face in developing user-centered evaluations for v ...antly, what measures are most helpful to the analytic community and to the research community?
    5 KB (757 words) - 22:57, 14 October 2008
  • - Methods for the acquisition of lexical knowledge from digitized and linguistically ...e in the context of lexicography, the use of digital lexical resources for research and teaching, design of ontologies for automatic information retrieval, or
    6 KB (772 words) - 23:00, 14 October 2008
  • WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural langu ...omputation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language
    5 KB (639 words) - 23:00, 14 October 2008
  • Research in comparable corpora is motivated by the scarcity of methods to collect parallel corpora from the Web. A more
    5 KB (647 words) - 23:00, 14 October 2008
  • The general session invites papers on any avenue of current research in phonetics, phonology, syntax, semantics, historical linguistics and soci The main session invites current research on models of linguistic change, including both the evolution of individual
    5 KB (668 words) - 23:00, 14 October 2008
  • ...parallel corpora to enrich their lexicons and grammars, and to create new methods for disambiguation. ...r statistical) is nowadays the most prevalent trend in Machine Translation research.
    5 KB (708 words) - 23:01, 14 October 2008
  • ...t this natural language understanding challenge and on the use of learning methods in this context. RTE has fostered an active and growing community of resear ...ence rules, paraphrase templates, lexical relations *Knowledge acquisition methods - From corpora/Web, including acquiring entailment/paraphrasing corpora - F
    3 KB (476 words) - 23:01, 14 October 2008
  • ...ion of Artificial Intelligence (AI) techniques to medical care and medical research, and ...mplementation, and discuss the assumptions and limitations of the proposed methods.
    7 KB (924 words) - 23:03, 14 October 2008
  • forum for the sharing, exchange, presentation and discussion of original research results * Statistical, soft and structural methods of pattern recognition
    6 KB (840 words) - 16:42, 27 December 2015
  • ...ng with game-oriented education research, and game studies and game design research. The goal of the conference is the advancement of the science of digital ga ...ds-on tutorials and topical panels on a range of subjects related to games research and education. We invite researchers and educators to share insights and cu
    9 KB (1,275 words) - 14:46, 27 December 2015
  • ...inception in 1985, the primary goal of this conference has been to broaden research in both of these fields by promoting the exchange of ideas between them. We * Integrated man-machine modeling methods
    3 KB (341 words) - 19:39, 26 February 2020
  • Research & Strategic Data Solutions, Yahoo!, Inc. (USA) is devoted to theories, methods and applications of Data Mining, Machine Learning, Knowledge Discovery in
    2 KB (286 words) - 11:44, 18 October 2008
  • ...researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all The conference calls for research papers reporting original investigation results and industrial
    2 KB (295 words) - 12:03, 18 October 2008
  • active research. New methods of computing answer sets are being - New methods of computing answer sets using algorithms or systems of
    5 KB (645 words) - 23:04, 14 October 2008
  • ...ide insights on how AI can be implemented in real world applications. Also research papers describing advanced prototypes, innovative systems, tools and techni ...are invited to submit electronically original, English-language scientific research contributions. Submitted papers must present unpublished work, not submitte
    8 KB (1,111 words) - 23:04, 14 October 2008
  • The Symposium is Soliciting State-of-the-art Research Papers in the following areas of interest: Evaluation of methods, techniques and tools for Knowledge Acquisition
    2 KB (314 words) - 23:04, 14 October 2008
  • ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The International Workshop on Uncertain Effective methods for reasoning under uncertainty are vital for realizing many aspects of the
    9 KB (1,338 words) - 23:04, 14 October 2008
  • ...rongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, ...Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral a
    18 KB (2,457 words) - 23:04, 14 October 2008
  • ...s, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence. ...awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions
    7 KB (971 words) - 23:04, 14 October 2008
  • - Autonomy-Oriented Modeling and Computation Methods authors of (1) the best research paper and (2) the best application
    12 KB (1,601 words) - 23:04, 14 October 2008
  • ...nce targets to attract authors of and audience for scientifically valuable research contributions aiming to narrow the large disparity between the low-level de ...tors in the process of multimedia generation and consumption – including methods from low-level signal processing up to the mobile context in which a user i
    4 KB (490 words) - 16:48, 15 October 2008
  • ...gical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stu Regular papers are meant to describe solid new research results. They can be up to 15 pages long in LNCS style, including figures,
    5 KB (799 words) - 21:49, 26 February 2020
  • ...rnational Semantic Web Conference (ISWC 2008) solicits papers for the mail research track. A one page version of this ISWC 2008 call for papers (updated 26. Ma ...Web technologies mature and permeate more and more application areas, new research challenges are coming to the fore and some unsolved ones are becoming more
    6 KB (854 words) - 12:05, 28 May 2016
  • We invite papers on any research topic related to question answering and reasoning. In this call we especial ...sic evaluation of inference methods, data-intensive vs knowledge-intensive methods, evaluation of portability.
    7 KB (991 words) - 23:04, 14 October 2008
  • ...orum for discussion, exchange of points of view, assessment of results and methods, and as a source of dissemination and promotion of the newest advances in t ...us of the workshop, clarity of the work submitted, and the strength of the research.
    3 KB (512 words) - 23:04, 14 October 2008
  • CiE 2008 aims at bridging the gap from the logical methods of mathematical * Formal methods
    5 KB (619 words) - 18:06, 10 February 2021
  • Papers in the main technical program must describe high-quality, original research. Statistical Methods and Learning
    3 KB (339 words) - 13:28, 16 November 2020
  • Methods for knowledge validation Leora Morgenstern, IBM T.J. Watson Research Center
    5 KB (710 words) - 23:05, 14 October 2008
  • to present research and to exchange ideas and experience addressing exploitation of theory through methods and tools for system
    8 KB (1,085 words) - 18:01, 12 February 2009
  • presenting high quality, previously unpublished research in the topics well as ongoing research, with an emphasis on novel approaches, methods,
    5 KB (629 words) - 23:06, 14 October 2008
  • - methods addressing data sparseness issue for morphologically rich - methods for optimizing the selection of units at different levels of
    4 KB (519 words) - 23:06, 14 October 2008
  • | Title = Quantitative Semantic methods for the Internet 1st International Workshop on Quantitative Semantic methods for the
    5 KB (661 words) - 23:06, 14 October 2008
  • |Title=Conference on Empirical Methods in Natural Language Processing '''2008 Conference on Empirical Methods in Natural Language Processing (EMNLP 2008)'''
    4 KB (487 words) - 13:10, 19 February 2020
  • The biomedical research community eagerly awaits the full emphasizing in particular work on methods deployed in a
    6 KB (749 words) - 23:06, 14 October 2008
  • ...ext from biomedical, clinical, or genomic domains. In addition to original research papers, as is JBI's custom, we are soliciting one or more methodological re ...e soliciting full-length article submissions that present and evaluate new methods rather than the application or evaluation of existing approaches (see edito
    5 KB (655 words) - 23:06, 14 October 2008
  • ...Noise introduces challenges that need special handling, either through new methods or improved versions of existing ones. We invite you to submit your own uni IBM Research, India Research Lab
    4 KB (608 words) - 17:00, 27 December 2015
  • | Title = Finite-State Methods and Natural Language Processing Finite-State Methods and Natural Language Processing - FSMNLP 2008
    9 KB (1,072 words) - 23:06, 14 October 2008
  • Thanks to both statistical approaches and finite state methods, lower levels of processing for which reasonably good methods have
    7 KB (856 words) - 23:06, 14 October 2008
  • It is therefore important that the research community address the following - What methods are appropriate to detect similar/complementary/contradictory
    8 KB (992 words) - 23:07, 14 October 2008
  • of linguistic resources and methods in Computational Linguistics. They judgements provide clues for research on linguistic issues that
    6 KB (815 words) - 23:07, 14 October 2008
  • FG provides a forum for the presentation of new and original research formal and mathematical methods to the study of natural language.
    5 KB (636 words) - 23:07, 14 October 2008
  • working out methods and techniques to leverage them. Both AMD and * Yen-Kuang Chen Inetl Research, USA
    5 KB (659 words) - 23:07, 14 October 2008
  • Our workshop purports to fill these gaps by inviting research teams * open challenges for distributional methods for semantic analysis;
    6 KB (821 words) - 13:17, 23 April 2020
  • society. Methods for text-based information retrieval receive special research but uses methods from different areas: machine learning, computer
    4 KB (468 words) - 23:07, 14 October 2008
  • ...merous algorithms and representation models developed during decades of AI research, as illustrated recently in tasks such as estimating the reliability of aut The goal of the workshop is to foster the research and dissemination of ideas on the mutually beneficial interaction between W
    5 KB (736 words) - 23:07, 14 October 2008
  • research on these topics, potentially including strong work in progress. * Algorithms, including finite-state methods
    7 KB (908 words) - 23:07, 14 October 2008
  • area of research there is a rich diversity of approaches, and recent * scalability of structured translation methods to small or large data
    4 KB (586 words) - 23:07, 14 October 2008
  • and ACL 2005) will continue to expose the NLP research community to these * Intelligent tutoring systems that incorporate state-of-the-art NLP methods
    6 KB (825 words) - 17:06, 27 December 2015
  • This workshop on statistical and hybrid methods for machine translation, and builds on the 2005 ACL Workshop on Parallel Te We encourage individuals who are submitting research papers to evaluate their approaches using the training resources provided b
    7 KB (897 words) - 23:07, 14 October 2008
  • for corpus research and NLP applications, including (but not limited to) * methods and tools for "cleaning" Web pages to turn them into a
    4 KB (587 words) - 23:07, 14 October 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
  • supervised methods of statistical natural language interoperability, as well as to share innovative research in corpus
    4 KB (566 words) - 23:07, 14 October 2008
  • * Effective search methods for mobile devices using NLP of Web access research.
    7 KB (968 words) - 23:08, 14 October 2008
  • research on MWEs for languages other than English is confronted with language resources related to MWE and the methods for evaluation of
    6 KB (814 words) - 23:08, 14 October 2008
  • ...Information Technology & Politics on Text Annotation for Political Science Research. \u201cText Annotation for Political Science Research\u201d
    5 KB (682 words) - 09:30, 28 August 2020
  • ...t ICTs offers. AFRICOMM makers in ICT to discuss issues and trends, recent research, innovation advances and on-the-field experiences related to e-Infrastructu ...es. AFRICOMM 2011, the third conference of the series, is organized in two research tracks, namely a track in communication infrastructure and a track on e-ser
    9 KB (1,127 words) - 17:19, 26 April 2011
  • |Title=Fourth Biennial Conference on Innovative Data Systems Research ...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
  • forum for disseminating the results of innovative research in - Keynote Speaker: Ronald Fagin (IBM Almaden Research Center, USA)
    9 KB (1,137 words) - 23:08, 14 October 2008
  • * Ontology connectors to system models: methods and techniques for * Short Papers: comprehend research-in-progress, industrial experience and
    8 KB (994 words) - 23:09, 14 October 2008
  • Research in data warehousing and OLAP has produced important necessities, but also new methods, models, techniques or architectures
    10 KB (1,288 words) - 11:52, 18 October 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 ...es, DataBases, and Applications of Semantics (ODBASE'08) solicits original research papers that push the current boundaries.
    8 KB (1,081 words) - 08:21, 22 December 2011
  • discussions and comparison of methods and approaches. In line with this open Raghav Kaushik, Microsoft Research, USA
    5 KB (658 words) - 23:09, 14 October 2008
  • ** Methods for Knowledge Management ** Design methods and guidelines for social-focussed knowledge management
    4 KB (436 words) - 01:44, 16 December 2008
  • ...iding solutions for Web search engines, is now moving towards new emerging research themes, such as the definition of more effective techniques to index, categ 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
  • Virtual Engineering addresses the application of virtual development methods and tools during first phases of the product life cycle: design, engineerin ...this workshop will be to provide a platform for discussions about current research results, industrial applications and about the difficulties and challenges
    4 KB (512 words) - 16:46, 16 December 2020
  • ...results of research into practice. We also aim at recognizing and pursuing research on new topics in the area of information technologies, to which more attent ...presentation of a domain. Diverse notions, rules, theories, languages, and methods for modelling at different levels have to be aimed at common understanding
    8 KB (1,143 words) - 11:55, 20 June 2011
  • ...ted to all aspects of Web data management. The conference invites original research and industrial papers on the theory, design and implementation of Web-based - Storage management and access methods
    10 KB (1,376 words) - 23:10, 14 October 2008
  • Started only recently, Deep Web research combines challenges from several active research areas including information retrieval,
    7 KB (875 words) - 23:10, 14 October 2008
  • Topics of research papers can be (but are not limited to) the following: * Formal Methods for data and knowledge base design
    2 KB (271 words) - 23:10, 14 October 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
  • ...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
  • ...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 ...ing paradigms in the 21st century. This emergence is the natural result of research and technological advances mainly in wireless communications, mobile comput
    7 KB (990 words) - 23:11, 14 October 2008
  • The SePTIS workshop main topics encompass research advances around digital identities and secure exchanges between information - Formal Methods for Web Applications
    4 KB (587 words) - 23:30, 14 October 2008
  • A fundamental research challenge is the design of robust decentralized computing systems capable o ...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
    5 KB (694 words) - 23:11, 14 October 2008
  • Authors are encouraged to submit full papers presenting new research - Formal methods for analysis of wireless systems
    4 KB (596 words) - 23:12, 14 October 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
  • a challenge in itself. Methods for self-organisation are strongly required to For this conference we request submissions of high quality research papers on
    3 KB (413 words) - 23:13, 14 October 2008
  • alternative reasoning methods, which take incompleteness and We welcome all research contributions that address one or more of the
    7 KB (984 words) - 23:13, 14 October 2008
  • ...rnational forum for scientists, engineers, and in-dustry to address recent research results and to discuss their ideas and experiences on all theoretical and p * Systematic evaluations of development methods
    7 KB (870 words) - 23:13, 14 October 2008
  • ...kshop aims at providing a forum for presenting and discussing high-quality research about how cognitive aspects can be considered in intelligent and adaptive w Problem solving methods and problem-based learning
    6 KB (839 words) - 23:13, 14 October 2008
  • ...Services tools and applications is still a new practice not only with the research community but also the industry. Software developers need to deal with new ...latest progress in the area and to discuss any gaps between the scientific research and required methodologies, tools and applications in practice.
    10 KB (1,392 words) - 23:13, 14 October 2008
  • methods for evaluation of Web content's trustworthiness. - Yunbo Cao Microsoft Research Asia, China
    4 KB (638 words) - 23:13, 14 October 2008
  • - Research papers ...s. Developing, deploying and evaluating Social Information Retrieval (SIR) methods, techniques and systems that provide learners and teachers with guidance in
    7 KB (989 words) - 23:13, 14 October 2008
  • ...ediates the ways in which we construct shared meaning. While there is much research and development into topics relevant to this challenge such as collaboratio * Theories, Frameworks, Models and Methods
    9 KB (1,139 words) - 23:14, 14 October 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
  • contributions including novel methods, techniques and algorithms, rigid Sebastian Schaffert, Salzburg Research
    7 KB (950 words) - 23:14, 14 October 2008
  • We welcome original research papers as well as papers that deal with design, development and experimenta * Formal methods and foundations for dependable distributed computing
    2 KB (255 words) - 23:14, 14 October 2008
  • getting overview. In a Semantic Wiki, such methods have to be integrated Papers should describe original, unpublished research and must not be under
    5 KB (709 words) - 19:41, 22 February 2009
  • ...and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAM * Applications of formal methods and declarative technologies for specification, verification and validation
    6 KB (659 words) - 17:41, 11 February 2021
  • ...s, engineers, and practitioners throughout the world to present the latest research, results, ideas, developments and applications in all areas of parallel and 2-01 Formal methods and programming languages
    5 KB (623 words) - 23:15, 14 October 2008
  • Network information management is a growing area of research at the attention of several communities: Algorithms, Formal Methods, Information systems, Data
    4 KB (563 words) - 23:15, 14 October 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
  • Information Retrieval (IR) is a research area that has generated a great conducting research in the future for example, but also as a way of
    6 KB (898 words) - 23:16, 14 October 2008
  • ...all aspects of Geographic Information Retrieval - that is the provision of methods to identify geographic scope, retrieve and relevance rank documents or othe ...etrieval to discuss further progress within the field and potential future research strands. Examples of topics that are particularly relevant include, but are
    3 KB (402 words) - 23:16, 14 October 2008
  • of a user, it is necessary to develop intelligent methods that are able between different research communities, to provide an overview of
    4 KB (526 words) - 23:16, 14 October 2008
  • Ronny Lempel - Yahoo! Research Haifa, Israel information dissemination continue to diversify, new methods, modeling
    4 KB (491 words) - 23:16, 14 October 2008
  • ...cs, WSEAS Transactions on Computer Science, WSEAS Transactions on Computer Research Differential Geometry methods in non-linear control
    8 KB (982 words) - 23:17, 14 October 2008
  • ...Science Research. The main goal of MMSP-2008 is to further the scientific research within the broad field of multimedia signal processing and its interaction ...in this area, including brainstorming a roadmap for the success of future research and application. MMSP-08 workshop consists of interesting features:
    4 KB (443 words) - 17:06, 24 February 2016
  • ...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
  • ...8) is the premier forum for the presentation of technological advances and research results in the fields of theoretical, experimental, and applied Computer Vi Kernel Methods and Support Vector Machines
    4 KB (438 words) - 23:17, 14 October 2008
  • ...d, when combined with multimedia information encompasses a large number of research topics and emerging applications. A list of relevant topics is provided bel ..., engineering or business applications, are welcome. Papers describing new methods or technologies, advanced prototypes, systems, tools and techniques and gen
    3 KB (419 words) - 23:17, 14 October 2008
  • Research in CIP is widely interdisciplinary. The aim of this series of workshops is Graphical and kernel methods
    3 KB (366 words) - 23:17, 14 October 2008
  • Recent advances in genomic studies have stimulated synergistic research in many cross-disciplinary areas. Genomic data, especially the recent large * Pattern recognition methods for functional genomics
    3 KB (443 words) - 23:17, 14 October 2008
  • ...and applications. The conference covers both theoretical and experimental research, as it pertains to sensor networks, in a broad range of disciplines includi ...ormation Processing (IP) track, and the Sensor Platforms, Tools and Design Methods (SPOTS) track, with two separate program committees to evaluate their submi
    4 KB (570 words) - 23:17, 14 October 2008
  • ...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
  • ...knowledge and experience, and to narrow the relations among Iberoamerican research groups working in diverse areas of Software Engineering. IDEAS provides a f ...article presentations, tutorial courses, invited lectures, and meetings of research groups with similar interests. IDEAS welcomes articles in Portuguese, Spani
    8 KB (1,104 words) - 23:18, 14 October 2008
  • You are invited to submit a paper that documents research studies and applications related to the engineering of high-assurance syste * Engineering methods for high-assurance systems in real-time control applications
    5 KB (660 words) - 16:46, 27 December 2015
  • 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
  • ...a and semi-structured data found in the web. SITIS spans two inter-related research domains that increasingly play a key role in connecting systems across netw SITIS 2008 aims to provide a forum for high quality presentations on research activities centered on four main tracks. This track focuses on new software
    5 KB (697 words) - 23:18, 14 October 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 ...ct are encouraged. It aims to provide useful guidance for the dissertation research.
    9 KB (1,264 words) - 18:14, 8 November 2008
  • the software engineering research community and the programming Research papers:
    6 KB (695 words) - 14:45, 27 December 2015
  • e-business, to identify the emerging research topics, - Design methods,tools and science for e-Business
    5 KB (594 words) - 16:29, 25 March 2020
  • ...ms architectures push the limits of established and tested component-based methods, tools and platforms: ...heduling of scientific models in flagship science, technology and medicine research;
    8 KB (1,033 words) - 23:18, 14 October 2008
  • ...al unpublished research results or presenting original experience reports. Research-based submissions should clearly describe the relevance of the results to s ...d applications. Workshops are not an alternative forum for presenting full research papers, and usually restrict themselves to submission of position papers on
    7 KB (892 words) - 09:16, 8 July 2020
  • ...ices. Researchers and practitioners worldwide are invited to present their research expertise and experience, and discuss the issues and challenges in security Johann Schumann, NASA Ames Research Center, USA
    5 KB (615 words) - 09:55, 29 May 2016
  • ...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
  • ...against software quality criteria, ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends and propose new direc ...ioners to review and evaluate relatively new and original in conception SE methods, practices, architectures, technologies and tsools. An important underpinni
    4 KB (463 words) - 13:54, 18 October 2008
  • Technical papers describing original, previously unpublished research, not currently under review by another conference or journal, are solicited * Methods and tools for designing, verifying, and evaluating
    3 KB (358 words) - 23:18, 14 October 2008
  • ...he recent status of the research and to direct further developments. Basic research papers as well as application papers are welcome. * Neural Methods
    3 KB (443 words) - 18:35, 1 March 2012
  • learn about cutting-edge research by hearing outstanding invited speakers Methods and Algorithms:
    4 KB (520 words) - 20:02, 26 February 2020
  • ...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
  • 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
  • As research analyzing Wikis, Blogs and the structure underlying Social data mining algorithm and machine learning methods on Web 2.0 data.
    5 KB (646 words) - 23:19, 14 October 2008
  • The workshop invites papers relevant to research in feature Integration with data mining algorithms Ensemble methods
    5 KB (505 words) - 23:19, 14 October 2008
  • ...tional security issues. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others ava -Process based Security Models and Methods
    4 KB (487 words) - 10:42, 21 August 2020
  • research in real-time systems, theory, and applications. The primary * Formal methods
    2 KB (322 words) - 00:35, 15 October 2008
  • The research related to wireless communication and its use, concentrates applications that use these new methods i.e. applications that benefit
    5 KB (663 words) - 23:20, 14 October 2008
  • Previously unpublished papers offering novel research contributions in any aspect of computer security or electronic privacy are Formal methods for security
    2 KB (262 words) - 23:20, 14 October 2008
  • We are seeking research papers, technical reports, dissertation etc for these interdisciplinary are Testbeds, performance evaluation and formal specification methods
    4 KB (502 words) - 23:20, 14 October 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
  • Propositionalization methods Ashwin Srinivasan (IBM India Research Lab, India)
    5 KB (569 words) - 23:21, 14 October 2008
  • ...ing preference models and predicting preferences are among the very recent research trends in fields like machine learning and knowledge discovery. Approaches ...an opportunity for researchers and practitioners to identify new promising research directions. Topics of interest include, but are not limited to
    5 KB (664 words) - 23:21, 14 October 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 Calin Cascaval, IBM T.J. Watson Research Center, USA
    4 KB (447 words) - 23:21, 14 October 2008
  • ...is the eleventh in a series of international events devoted to the latest research in informatics and applications of Organisational Semiotics in organisation ...systems and with diversified backgrounds to get together, to share latest research achievements and practical experiences, to exchange in-depth findings and i
    5 KB (722 words) - 23:22, 14 October 2008
  • ESBE�??08 welcomes research submissions on all topics related to business models for services and their * Formal methods for business concepts applied to services
    2 KB (285 words) - 23:22, 14 October 2008
  • ...software designs. By taking advantage of the opportunities offered by new research, for example in programming languages and compiler techniques, it may be po �?� New tools and methods for automatic generation of embedded systems
    3 KB (443 words) - 23:22, 14 October 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 - What kind of research questions can be addressed by simulation?
    4 KB (523 words) - 23:23, 14 October 2008
  • ...for supporting different business models. SCC 2008 has the following major research tracks: Foundations of Services Computing, Services-Centric Business Models ...gration and Management (IJBPIM), the International Journal of Web Services Research (JWSR), the International Journal of Grid and Utility Computing (IJGUC), an
    18 KB (2,352 words) - 23:23, 14 October 2008
  • ...ne 2008 in Montreal, Canada. This collaboration is geared towards advanced research in microelectronics which constitutes the highlights of the NEWCAS conferen * Mathematical methods and design tools
    3 KB (377 words) - 23:24, 14 October 2008
  • ...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
  • | 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
  • ...ne 2008 in Montreal, Canada. This collaboration is geared towards advanced research in microelectronics which constitutes the highlights of the NEWCAS conferen * Mathematical methods and design tools
    3 KB (391 words) - 23:24, 14 October 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 ...rt A. Hauptman (Nobel Laureate, President of the Hauptman-Woodward Medical Research Institute). Keynote talks will be given by Prof. Jake K. Aggarwal, Universi
    6 KB (814 words) - 23:25, 14 October 2008
  • ...Papers in the main technical program must describe high-quality, original research and will be presented either orally in a single track or as a poster. Topic Statistical Methods and Learning in Vision
    1 KB (185 words) - 14:09, 17 October 2016
  • Papers in the main technical program must describe high-quality, original research. Topics of interest include all aspects of computer vision and pattern reco Statistical Methods and Learning
    3 KB (377 words) - 08:52, 17 October 2018
  • We welcome technical papers presenting research and practical results, position papers addressing the pros and cons of spec Formal methods to specify systems' behavior
    11 KB (1,492 words) - 23:26, 14 October 2008
  • ...d applications of complex systems to exchange their ideas and their latest research results. We look forward to your participation in COMPLEX�??2009 to make * Complex Systems Methods
    3 KB (378 words) - 23:26, 14 October 2008
  • * Software methods for I/O device emulation Muli Ben-Yehuda, IBM Haifa Research Lab
    3 KB (462 words) - 23:26, 14 October 2008
  • Organizational engineering aggregates multi-disciplinary concepts, methods and technology to model, develop and analyze various aspects of changing or ...ing (OE) track at ACM SAC will provide a space for theoretical and applied research studies on organizational engineering topics to be presented while giving a
    6 KB (746 words) - 23:26, 14 October 2008
  • ...the major meetings for researchers to present ideas, results, and on-going research on both theoretical and practical advances in Reconfigurable Computing. Authors are invited to submit manuscripts of original unpublished research in all areas of dynamic and run-time reconfiguration (foundations, algorith
    4 KB (551 words) - 23:27, 14 October 2008
  • ...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 ...ted documents (technical report, article) with additional details on their research work. The workshop will not have proceedings (abstracts will be provided on
    4 KB (584 words) - 23:27, 14 October 2008
  • ...nd practioners from all over the world to present and discuss their latest research achievements. Original papers are solicited on theory, techniques, systems, * Formal methods for dependability.
    4 KB (528 words) - 23:27, 14 October 2008
  • with and within, our virtual worlds. Advances in research and novel applications in this + Multi-resolution and Multi-scale Methods, Level of Detail, Model Compression and Simplification
    4 KB (552 words) - 23:27, 14 October 2008
  • aims at presenting some of the most significant research works * DESIGN AND METHODS IN REAL-TIME AND (NETWORKED) EMBEDDED SYSTEMS:
    3 KB (342 words) - 23:29, 14 October 2008
  • advantage of languages, tools, and methods that enable higher software Interest in real-time Java in both the research community and
    6 KB (847 words) - 23:30, 14 October 2008
  • ...ntrol applications. This conference provides an ideal venue to address the research challenges facing the design, deployment, use, and fundamental limits of th ...hers. We seek technical papers describing original, previously unpublished research results. Topics of interest include, but are not limited to, the following:
    6 KB (771 words) - 16:09, 16 September 2019
  • | 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
  • reflexive diagnostics and steering methods. Such retrofitting The purpose of the workshop is to discuss new and on-going research
    7 KB (851 words) - 23:30, 14 October 2008
  • a forum aimed at covering state-of-the-art research and development in SYSTEM DESIGN AND ANALYSIS: modelling and formal methods;
    7 KB (870 words) - 23:30, 14 October 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
  • ...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
  • Nanomanufacturing encompasses the methods, processes and systems required to produce goods that use nano-scale phenom Original contributions are now sought in all research and education areas of ISNM-5 related to nanomanufacturing, including but n
    3 KB (371 words) - 23:30, 14 October 2008
  • ...tion agents acting on behalf of thousands of users, is a new and promising research area with many practical applications. ...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
  • practical research contributions that directly or indirectly address the issues above. * Ontology harmonization and merging: Methods and tools.
    9 KB (1,173 words) - 23:31, 14 October 2008
  • international forum for presenting and discussing current research and applications in which the major emphasis is on conceptual modeling. ...dly, and particularly encourage work on topics of emerging interest in the research and development communities.
    18 KB (2,282 words) - 17:11, 15 October 2008
  • ...ng of classifiers based on, but not limited to, computational intelligence methods from fields such as: ...aluation of the classifiers implemented in various cases of bioinformatics research, such as:
    2 KB (276 words) - 23:31, 14 October 2008
  • ...ce will focus on the development and application of advanced computational methods for biological problems. Thomas J. Hudson, Honorary chair, Ontario Institute for Cancer Research
    1 KB (146 words) - 23:32, 14 October 2008
  • ...this series and seeks contributions on all aspects of programming language research including, but not limited to, the following areas: * Methods and tools to write, reason about, and specify languages and programs: modul
    6 KB (824 words) - 23:32, 14 October 2008
  • * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
    2 KB (291 words) - 11:09, 20 November 2020
  • ...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
  • research that studies the technical, behavioral, economical, managerial, advancing theoretical research or providing help for organizations to
    4 KB (445 words) - 23:34, 14 October 2008
  • ...t the relevance of ontology reasoning services and ontology modularization methods to usage of large-scale and complex ontologies. ...workshop welcomes submission of high quality original papers that describe research results on tasks related to ontology reasoning and modularity, presentation
    7 KB (891 words) - 23:35, 14 October 2008
  • ...allenging future directions, critiquing research problems, and placing new research questions. ...rally, as the number of ontologies developed increases, comes the need for methods to integrate or align the separate ontologies. Ontology alignment algorithm
    7 KB (983 words) - 23:36, 14 October 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 Tools papers describe contributions to the research and development of design tools and their supporting algorithms.
    2 KB (322 words) - 12:03, 27 November 2020
  • ...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
  • ...er researchers and practitioners from diverse fields to promote scientific research and industrial development in the field of complex medical engineering. The * High-throughput screening methods
    3 KB (377 words) - 23:37, 14 October 2008
  • The conference is soliciting state-of-the-art research papers in the following areas of interest: * Methods and biology effects of NMR/CT/ECG technology
    3 KB (332 words) - 23:37, 14 October 2008
  • * Student Research Forum Computer Science Series by Springer-Verlag. Papers from the Student Research
    6 KB (682 words) - 10:18, 14 April 2020
  • | 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
  • ...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
  • | Title = The Fourth International Computing Education Research Workshop The Fourth International Computing Education Research Workshop (ICER 2008) will be held in Sydney, Australia, on Saturday 6 Septe
    3 KB (350 words) - 18:33, 20 December 2012
  • ...from researchers in academia, industry and government describing original research work in cluster computing. - Application Methods and Algorithms
    5 KB (606 words) - 14:17, 8 April 2021
  • ...ference is dedicated to the development of non-deterministic perspectives, methods, and applications. ...e Gossamer Spacecraft Forum is to provide an opportunity to discuss recent research findings and newly proposed concepts emerging from this technology.
    4 KB (540 words) - 23:39, 14 October 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
  • This year SECOVAL is focusing upon a special research subtopic mobile collaborative security ...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
  • ...day to topics which are relevant either to both areas, or to possible new research directions.
    2 KB (302 words) - 23:42, 14 October 2008
  • ...is change will require new concurrency-friendly programming paradigms, new methods of application design, new structures for system software, and new models o We request submissions of position papers that propose new directions for research of products in these areas, advocate non-traditional approaches to the prob
    5 KB (740 words) - 23:42, 14 October 2008
  • ...rough new resource combinations. OI raises some fundamental managerial and research questions, such as: How OI is best adopted and what are the implications f Methods and tools for innovation
    3 KB (468 words) - 23:43, 14 October 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
  • ...tand the interplay between the involved disciplines we are able to deliver methods and integrated tool solutions that provide suitable collaboration and knowl ...are development from different perspectives. One major goal is to define a research agenda and establish a community around the crosscutting topics of collabor
    3 KB (341 words) - 01:15, 31 May 2012
  • ...ion of sections, tables, figures and about the authors’ affiliations and research institutions, and fundings source. The task mainly requires PDF mining tech ...entity linking), or as an entity interlinking task, or as a combination of methods.
    6 KB (834 words) - 19:29, 1 June 2016
  • ...; 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
  • The Research Institute for Symbolic Computation (RISC), Introduction to Gröbner bases and other methods in
    3 KB (305 words) - 11:02, 28 November 2008
  • ...ngineering organizations. The main purpose of this forum is to promote new research and applications in the filed of Computer science and Engineering and inter ...JDEM) addresses the demanding issues and challenges and publishes original research on new theories, algorithms, technologies, system design, and implementatio
    3 KB (440 words) - 12:20, 12 December 2008
  • *Optimization methods for learning *Bayesian methods in learning
    3 KB (314 words) - 09:33, 1 April 2020
  • |Title=6th Workshop on Methods for Modalities |Series=Methods for Modalities
    4 KB (535 words) - 10:05, 24 December 2008
  • ...but challenging environment that enables students to further improve their research work leading to a Ph.D. ...t into contact with other students who are at a similar stage of the Ph.D. research. The overall aim is to improve the quality and quantity of successful Ph.D.
    6 KB (879 words) - 11:31, 14 January 2009
  • Started recently, Deep Web research combines challenges from several active research areas including information retrieval, information extraction, hypertext, W ** Research on Deep Web Size and Topicality
    5 KB (763 words) - 12:56, 27 December 2015
  • is a forum aimed at covering state-of-the-art research and development * 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

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