咨询与建议

限定检索结果

文献类型

  • 488 篇 会议
  • 59 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 567 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 391 篇 工学
    • 344 篇 计算机科学与技术...
    • 209 篇 软件工程
    • 50 篇 电气工程
    • 28 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 9 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 生物工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 动力工程及工程热...
    • 2 篇 化学工程与技术
    • 2 篇 核科学与技术
    • 1 篇 仪器科学与技术
    • 1 篇 冶金工程
  • 102 篇 理学
    • 87 篇 数学
    • 10 篇 系统科学
    • 5 篇 物理学
    • 5 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 32 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 法学
    • 6 篇 社会学
  • 6 篇 文学
    • 5 篇 外国语言文学
    • 1 篇 新闻传播学
  • 3 篇 医学
    • 2 篇 临床医学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 144 篇 logic programmin...
  • 18 篇 artificial intel...
  • 16 篇 logic gates
  • 16 篇 linear programmi...
  • 16 篇 computer program...
  • 15 篇 probabilistic lo...
  • 14 篇 programming
  • 14 篇 mathematical log...
  • 14 篇 programming lang...
  • 12 篇 semantics
  • 11 篇 formal logic
  • 11 篇 computer program...
  • 11 篇 logics and meani...
  • 10 篇 fuzzy logic
  • 10 篇 software enginee...
  • 9 篇 computer circuit...
  • 9 篇 logic
  • 9 篇 programming tech...
  • 8 篇 answer set progr...
  • 8 篇 inductive logic ...

机构

  • 4 篇 univ minho ctr a...
  • 4 篇 univ texas dept ...
  • 3 篇 universita di pi...
  • 3 篇 the weizmann ins...
  • 3 篇 new mexico state...
  • 3 篇 univ malaga dept...
  • 3 篇 univ calabria de...
  • 2 篇 aalto univ dept ...
  • 2 篇 ontario power ge...
  • 2 篇 univ pisa dipart...
  • 2 篇 department of th...
  • 2 篇 texas tech univ ...
  • 2 篇 univ freiburg in...
  • 2 篇 school of comput...
  • 2 篇 katholieke univ ...
  • 2 篇 inst natl teleco...
  • 2 篇 vienna univ tech...
  • 2 篇 university of po...
  • 2 篇 arizona state un...
  • 2 篇 inria rennes

作者

  • 5 篇 vicente henrique
  • 4 篇 eiter t
  • 4 篇 neves jose
  • 4 篇 saint-dizier pat...
  • 4 篇 faber w
  • 3 篇 stéphan i
  • 3 篇 deville yves
  • 3 篇 pereira lm
  • 3 篇 leone n
  • 3 篇 wang bin
  • 3 篇 levi giorgio
  • 3 篇 neves joao
  • 3 篇 zhang zhizheng
  • 3 篇 son tc
  • 2 篇 polleres a
  • 2 篇 gueddes abdelweh...
  • 2 篇 gongjie liu
  • 2 篇 pontelli e
  • 2 篇 dung phan minh
  • 2 篇 lee kin hong

语言

  • 520 篇 英文
  • 43 篇 其他
  • 4 篇 中文
  • 1 篇 法文
检索条件"任意字段=8th Conference on Logic Programming, 1989"
568 条 记 录,以下是61-70 订阅
排序:
ASPOCP 2015 - 8th Workshop on Answer Set programming and Other Computing Paradigms, Affiliated with the International conference on logic programming 2015 (part of "the Year of George Boole")
ASPOCP 2015 - 8th Workshop on Answer Set Programming and Oth...
收藏 引用
8th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2015, co-located with the 31st International conference on logic programming, ICLP 2015
the proceedings contain 11 papers. the topics discussed include: towards deriving conclusions from cause-effect relations;logic programming with graded introspection;answer set programming modulo acyclicity;shift desi...
来源: 评论
Web Application for Automatic Code Generator Using a Structured Flowchart  8
Web Application for Automatic Code Generator Using a Structu...
收藏 引用
8th IEEE International conference on Software Engineering and Service Science (ICSESS)
作者: Supaartagorn, Chanchai Ubon Ratchathani Univ Fac Sci Dept Math Stat & Comp Ubon Ratchathani Thailand
A flowchart can be a graphic diagram representation of a programming logic. there are shapes and connectors that represent the different types of actions or steps in a process. A flowchart is a very important tool in ... 详细信息
来源: 评论
Using screencasts to enhance logic programming skills  17
Using screencasts to enhance logic programming skills
收藏 引用
8th Balkan conference in Informatics, BCI 2017
作者: Kefalas, Petros Stamatopoulou, Ioanna University of Sheffield International Faculty CITY College Computer Science Department 24 Proxenou Koromila Street Thessaloniki54624 Greece University of Sheffield International Faculty CITY College Computer Science Department 3 L. Sofou Street Thessaloniki54626 Greece
Screencasts have lately become a pedagogical tool used to create videos to be distributed to students. the plethora of tools make it easier for the teachers to produce high-quality, low-cost screencasts for a number o... 详细信息
来源: 评论
Adaptivity in scenarios in an educational adventure game  8
Adaptivity in scenarios in an educational adventure game
收藏 引用
8th International conference on Information, Intelligence, Systems and Applications (IISA)
作者: Papadimitriou, Spyros Virvou, Maria Univ Piraeus Dept Informat Piraeus 18534 Greece
Computer games are very popular among several age groups. In this respect, they could be exploited to render educational content more motivating and attractive. Especially, adventure games have positive effects toward... 详细信息
来源: 评论
Proposal of application method of Inductive logic programming to microarray data  17
Proposal of application method of Inductive Logic Programmin...
收藏 引用
8th International conference on Computational Systems-Biology and Bioinformatics (CSBio)
作者: Ide, Hiromu Umezawa, Masakazu Ohwada, Hayato Tokyo Univ Sci 2641 Yamazaki Noda Chiba 2788510 Japan
this paper describing a method of specifying common terms of genes from microarray data in 3 steps. First, we use random forest for extracting disease-related genes and it give each gene variable importance. the highe... 详细信息
来源: 评论
Smart Energy Meter for Power Grid Using Fuzzy logic  8
Smart Energy Meter for Power Grid Using Fuzzy Logic
收藏 引用
8th IEEE International conference on Computational Intelligence and Computing Research, ICCIC 2017
作者: Baskaran, Arvind Ram Aravindh, S. Varman, S. Aruul Mozhi Prabhu, E. Department of Electronics and Communication Engineering Amrita Vishwa Vidyapeetham Coimbatore India
Power stations produce supply at a particular frequency in a given locale. this frequency varies with supply and demand in the grid. this paper mainly focuses on maintaining the optimum frequency in the grid by induci... 详细信息
来源: 评论
2017 8th International conference on Information, Intelligence, Systems and Applications, IISA 2017
2017 8th International Conference on Information, Intelligen...
收藏 引用
8th International conference on Information, Intelligence, Systems and Applications, IISA 2017
the proceedings contain 108 papers. the topics discussed include: web applications for learning CUDA programming;toward interactive timelapses;IMO forensics in android and windows systems;health monitoring web platfor...
来源: 评论
ACM International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
8th Workshop on Parallel programming and Run-Time Management Techniques for Many-Core Architectures and 6th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, PARMA-DITAM 2017
the proceedings contain 6 papers. the topics discussed include: dataflow acceleration of Scikit-learn Gaussian process regression;VectorPU: a generic and efficient data-container and component model for transparent da...
来源: 评论
the new era of AI will revolutionize our wellness  17
The new era of AI will revolutionize our wellness
收藏 引用
8th Balkan conference in Informatics, BCI 2017
作者: Banavar, Guruduth Basseda, Reza Rinaldi, Matteo Viome Inc New York City United States
the resurgence of AI is changing every aspect of our lives. Many new kinds of data are becoming available in every field, making possible new insights and approaches that were unthinkable a few years ago. In this pape... 详细信息
来源: 评论
8th JSAI International Symposium on AI, JSAI-isAI 2016
8th JSAI International Symposium on AI, JSAI-isAI 2016
收藏 引用
8th JSAI International Symposium on AI, JSAI-isAI 2016
the proceedings contain 22 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Proper names in interaction;an analysis of selectional restrictions with dependent type semant...
来源: 评论