咨询与建议

限定检索结果

文献类型

  • 164 篇 会议
  • 12 篇 期刊文献
  • 11 册 图书

馆藏范围

  • 187 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 122 篇 工学
    • 109 篇 计算机科学与技术...
    • 78 篇 软件工程
    • 10 篇 电气工程
    • 6 篇 电子科学与技术(可...
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 2 篇 化学工程与技术
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 37 篇 理学
    • 28 篇 数学
    • 8 篇 物理学
    • 3 篇 化学
    • 2 篇 生物学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 1 篇 工商管理
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 36 篇 logic programmin...
  • 13 篇 functional progr...
  • 9 篇 logic
  • 9 篇 programming lang...
  • 8 篇 mathematical log...
  • 8 篇 logics and meani...
  • 7 篇 software enginee...
  • 7 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 programming tech...
  • 5 篇 probabilistic lo...
  • 5 篇 clocks
  • 4 篇 fuzzy logic
  • 4 篇 parallel process...
  • 4 篇 formal logic
  • 4 篇 programming
  • 4 篇 semantics
  • 4 篇 logic devices
  • 4 篇 hardware
  • 4 篇 haskell

机构

  • 2 篇 ruleml inc on
  • 2 篇 nasa ames resear...
  • 2 篇 institut für inf...
  • 2 篇 iohk edinburgh m...
  • 2 篇 fraunhofer fokus...
  • 2 篇 iohk ottawa on
  • 2 篇 univ edinburgh e...
  • 2 篇 department of co...
  • 2 篇 fub inst comp sc...
  • 2 篇 iohk mannheim
  • 2 篇 dpto. de sistema...
  • 2 篇 iohk england
  • 2 篇 tech univ dresde...
  • 2 篇 corp semant web ...
  • 2 篇 iohk utrecht
  • 2 篇 iohk glasgow lan...
  • 2 篇 new mexico state...
  • 2 篇 cau kiel inst in...
  • 2 篇 chalmers univ te...
  • 1 篇 univ tokyo grad ...

作者

  • 5 篇 hanus michael
  • 3 篇 pontelli enrico
  • 3 篇 antoy sergio
  • 2 篇 chakravarty manu...
  • 2 篇 mow douglas a.
  • 2 篇 braßel bernd
  • 2 篇 saad emad
  • 2 篇 current k.wayne
  • 2 篇 mackenzie kennet...
  • 2 篇 paschke adrian
  • 2 篇 vinogradova poli...
  • 2 篇 mueller jann
  • 2 篇 herbert kuchen
  • 2 篇 nilsson henrik
  • 2 篇 jones michael pe...
  • 2 篇 guild n.c.f.
  • 2 篇 baldwin j.f.
  • 2 篇 wadler philip
  • 2 篇 meseguer jose
  • 2 篇 melkonian oresti...

语言

  • 181 篇 英文
  • 3 篇 其他
  • 3 篇 中文
检索条件"任意字段=9th International Symposium on Functional and Logic Programming"
187 条 记 录,以下是91-100 订阅
Rewriting Haskell strings
收藏 引用
9th international symposium on Practical Aspects of Declarative Languages
作者: Coutts, Duncan Stewart, Don Leshchinskiy, Roman Univ Oxford Comp Lab Programming Tools Grp Oxford OX1 2JD England Univ New South Wales Comp Sci & Engn Sydney NSW 2052 Australia
the Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict arrays with lazy evaluation. Equational transfor... 详细信息
来源: 评论
Putting declarative programming into the web: Translating curry to JavaScript  07
Putting declarative programming into the web: Translating cu...
收藏 引用
9th international ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07
作者: Hanus, Michael Institut für Informatik CAU Kiel D-24098 Kiel Germany
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipulate complex data in a type-safe way, i... 详细信息
来源: 评论
Inductive logic programming by instance patterns
收藏 引用
9th international symposium on Practical Aspects of Declarative Languages
作者: Liu, Chongbing Pontelli, Enrico New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
Effectiveness and efficiency are two most important properties of ILP approaches. For both top-down and bottom-up search-based approaches, greater efficiency is usually gained at the expense of effectiveness. In this ... 详细信息
来源: 评论
Applications, implementation and performance evaluation of bit stream programming in Erlang
收藏 引用
9th international symposium on Practical Aspects of Declarative Languages
作者: Gustafsson, Per Sagonas, Konstantinos Uppsala Univ Uppsala Sweden Natl Tech Univ Athens Athens Greece
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in programmer-allocated buffers. Still, t... 详细信息
来源: 评论
Verification of Java bytecode using analysis and transformation of logic programs
收藏 引用
9th international symposium on Practical Aspects of Declarative Languages
作者: Albert, E. Gomez-Zamalloa, M. Hubert, L. Puebla, G. Univ Complutense Madrid DSIC E-28040 Madrid Spain Techn Univ Madrid CLIP E-28660 Madrid Spain
State of the art analyzers in the logic programming (LP) paradigm are nowadays mature and sophisticated. they allow inferring a wide variety of global properties including termination, bounds on resource consumption, ... 详细信息
来源: 评论
Pulsing Information Grates, as Parallel Computing Structures with Homogeneous Architecture of Environment
Pulsing Information Grates, as Parallel Computing Structures...
收藏 引用
international Conference on CAD Systems in Microelectronics (CADSM)
作者: Bogdan Rusyn Miroslaw Kuzio Institute of physics and mechanics National Academy of Sciences of Ukraine Lviv Ukraine
Are considered pulsing information grates (pulsing), as computing structures with homogeneous architecture of environment. Pulsing represent computing with a matrix of one- bit processors, which are connected among th... 详细信息
来源: 评论
Continuity of product-sum-gravity method on L2 space using fuzzy number for premise variable
Continuity of product-sum-gravity method on L2 space using f...
收藏 引用
international symposium on Signal Processing and Its Applications (ISSPA)
作者: Takashi Mitsuishi Yasunari Shidama Faculty of Information University of Marketing and Distribution Sciences Kobe Japan Faculty of Engineering Shinshu University Nagano Japan
the authors present a mathematical framework for studying a fuzzy feedback control system, which is constructed by if-then type fuzzy rules through a kind of product-sum-gravity method. Moreover, fuzzy numbers are use... 详细信息
来源: 评论
Strong equivalence of nonmonotonic theories-an algebraic approach (abstract)
Strong equivalence of nonmonotonic theories-an algebraic app...
收藏 引用
9th international symposium on Artificial Intelligence and Mathematics, ISAIM 2006
作者: Truszczyński, Miroslaw Department of Computer Science University of Kentucky Lexington KY 40506-0046 United States
We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for sev... 详细信息
来源: 评论
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
收藏 引用
ANNALS OF MAthEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第3-4期48卷 245-265页
作者: Truszczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We show that the concepts of strong and uniform equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong and un... 详细信息
来源: 评论
A new approach to hybrid probabilistic logic programs
收藏 引用
ANNALS OF MAthEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第3-4期48卷 187-243页
作者: Saad, Emad Pontelli, Enrico Abu Dhabi Univ Coll Comp Sci & Informat Technol Abu Dhabi U Arab Emirates New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
this paper presents a novel revision of the framework of Hybrid Probabilistic logic programming, along with a complete semantics characterization, to enable the encoding of and reasoning about real-world applications.... 详细信息
来源: 评论