Search results

Jump to: navigation, search
  • - Program and system verification
    5 KB (799 words) - 21:49, 26 February 2020
  • ...ults, case study work may link to case study journals for deeper insights, system papers may provide download of the software or a Web client together with f Submissions and reviewing will be handled using the EasyChair reviewing system. Presubmission of abstracts will be a strict requirement. Final papers can
    6 KB (854 words) - 12:05, 28 May 2016
  • submitted through the submission system that will be shortly made
    13 KB (1,775 words) - 23:04, 14 October 2008
  • ...edge base with question answering technology acting as the ultimate expert system. However, recent foundational, methodological and technological development ...ent and they might be accompanied by explanations and arguments on how the system came to an answer.
    7 KB (991 words) - 23:04, 14 October 2008
  • * Human Actor & Software System Design Aspects
    4 KB (518 words) - 14:42, 27 December 2015
  • Petri nets (system design/verification with nets, protocols and networks) Time series and system modeling
    5 KB (634 words) - 23:05, 14 October 2008
  • Agent-based system development
    2 KB (334 words) - 17:14, 12 November 2020
  • ...results and industrial papers reporting real data mining applications and system development experience. The conference will confer the Best Paper Award to
    2 KB (306 words) - 12:02, 18 October 2008
  • ...er electronically in either PDF or PS format via the electronic submission system at http://sac.cs.iupui.edu/SAC2008/. Submissions should be printable on a s
    4 KB (592 words) - 23:05, 14 October 2008
  • exploitation of theory through methods and tools for system
    8 KB (1,085 words) - 18:01, 12 February 2009
  • should be submitted through the electronic submission system of
    4 KB (508 words) - 23:06, 14 October 2008
  • - automata for system analysis and programme verification
    7 KB (994 words) - 23:06, 14 October 2008
  • ...ostfix (FP), (SP) or (PA) when entering the title in the online submission system.
    5 KB (726 words) - 17:37, 9 January 2009
  • ...tional forum for linguists, computer scientists, information engineers and system users with interests in the computer processing and understanding of Orient
    4 KB (579 words) - 23:06, 14 October 2008
  • technology, and may be combined with system demonstrations.
    4 KB (492 words) - 23:06, 14 October 2008
  • ...mputing, including manufacturers, system designers, compiler and operating system developers, application programmers and users etc. Depending on the number * Application classifications and their system needs
    3 KB (431 words) - 18:28, 15 February 2012
  • be submitted electronically through the online IEEE manuscript submission system at http://sps-ieee.manuscriptcentral.com/. When selecting a manuscript type
    4 KB (519 words) - 23:06, 14 October 2008
  • Submission/Reviewing will be electronic, managed by the START system. The only accepted format for submitted papers is Adobe PDF. To submit a pa A PDF file of the paper must be uploaded onto the system by the submission deadline. Papers submitted after that time will not be re
    4 KB (487 words) - 13:10, 19 February 2020
  • Practical and critical experience sharing of system implementation MT/TM
    4 KB (576 words) - 23:06, 14 October 2008
  • f. System combinations : limited plug & play capability across MT tools
    16 KB (2,200 words) - 20:51, 18 February 2021

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