咨询与建议

限定检索结果

文献类型

  • 187 篇 会议
  • 7 册 图书
  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 147 篇 计算机科学与技术...
    • 95 篇 软件工程
    • 12 篇 电气工程
    • 8 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 22 篇 理学
    • 17 篇 数学
    • 3 篇 物理学
    • 3 篇 生物学
    • 3 篇 系统科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 2 篇 文学
    • 2 篇 外国语言文学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
  • 1 篇 艺术学
    • 1 篇 艺术学理论
    • 1 篇 音乐与舞蹈学

主题

  • 41 篇 logic programmin...
  • 22 篇 functional progr...
  • 13 篇 semantics
  • 7 篇 temporal logic
  • 6 篇 computer science
  • 5 篇 automatic contro...
  • 4 篇 computer circuit...
  • 4 篇 model checking
  • 4 篇 software enginee...
  • 4 篇 mathematical log...
  • 4 篇 hardware
  • 4 篇 programming lang...
  • 4 篇 specification la...
  • 4 篇 dynamic programm...
  • 4 篇 computer program...
  • 3 篇 fuzzy logic
  • 3 篇 formal logic
  • 3 篇 logic gates
  • 3 篇 computational mo...
  • 3 篇 real-time system...

机构

  • 2 篇 cinvestav gdl de...
  • 2 篇 departamento de ...
  • 2 篇 univ complutense...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ limerick le...
  • 2 篇 nara inst sci & ...
  • 2 篇 univ tokyo
  • 2 篇 cau kiel inst in...
  • 2 篇 tu dortmund univ...
  • 2 篇 univ london impe...
  • 1 篇 univ augsburg de...
  • 1 篇 telecom bretagne...
  • 1 篇 univ innsbruck i...
  • 1 篇 department of co...
  • 1 篇 univ pisa dipart...
  • 1 篇 tu dortmund univ...
  • 1 篇 univ pisa dept c...
  • 1 篇 department of ma...
  • 1 篇 katholieke univ ...
  • 1 篇 univ southern ca...

作者

  • 4 篇 steffen bernhard
  • 3 篇 kobayashi naoki
  • 2 篇 jain v
  • 2 篇 nishitani h
  • 2 篇 stuckey peter j.
  • 2 篇 vidal g
  • 2 篇 albert e
  • 2 篇 grossman ie
  • 2 篇 imafuku k
  • 2 篇 lano k
  • 2 篇 vidal german
  • 2 篇 chavoya a
  • 2 篇 neubauer johanne...
  • 2 篇 sanchez a
  • 2 篇 harjunkoski i
  • 2 篇 ramakrishnan i.v...
  • 2 篇 naujokat stefan
  • 2 篇 hanus m
  • 2 篇 margaria tiziana
  • 2 篇 antoniou grigori...

语言

  • 194 篇 英文
  • 4 篇 其他
检索条件"任意字段=7th International Symposium on Functional and Logic Programming"
198 条 记 录,以下是51-60 订阅
排序:
Surfing with fun
Surfing with fun
收藏 引用
7th international symposium on theoretical Aspects of Software Engineering (TASE)
作者: thiry, Laurent Hassenforder, Michel ENSISA F-68093 Mulhouse France
the paper presents a formalization of web sites based on functional programming (FP) and graphs. More precisely, it explains how FP can be used to infer and to generate web pages from a data model, or to embed a query... 详细信息
来源: 评论
Process representation using transaction logic
Process representation using transaction logic
收藏 引用
Joint 7th international Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium Hosted at the 8th international symposium on Rules, RuleML 2013
作者: Basseda, Reza Stony Brook University Stony Brook NY 11794 United States
Representing and answering the queries about the dynamic behavior of processes in knowledge base systems has become a challenging research area in the field of logic programming and knowledge representation systems. I... 详细信息
来源: 评论
theory, Practice, and Applications of Rules on the Web - 7th international symposium, RuleML 2013, Proceedings
Theory, Practice, and Applications of Rules on the Web - 7th...
收藏 引用
7th international Web Rule symposium on theory, Practice, and Applications of Rules on the Web, RuleML 2013
the proceedings contain 17 papers. the topics discussed include: probabilistic soft logic: a scalable approach for Markov random fields over continuous-valued variables;rapid text-based authoring of defeasible higher-...
来源: 评论
Computing the stratified semantics of logic programs over big data through mass parallelization
Computing the stratified semantics of logic programs over bi...
收藏 引用
7th international Web Rule symposium on theory, Practice, and Applications of Rules on the Web, RuleML 2013
作者: Tachmazidis, Ilias Antoniou, Grigoris University of Huddersfield United Kingdom
Increasingly huge amounts of data are published on the Web, and generated from sensors and social media. this Big Data challenge poses new scientific and technological challenges and creates new opportunities - thus t... 详细信息
来源: 评论
Fuzzy logic Based QoS Optimization Mechanism for Service Composition
Fuzzy Logic Based QoS Optimization Mechanism for Service Com...
收藏 引用
IEEE 7th international symposium on Service-Oriented System Engineering (SOSE)
作者: Avila, Silvana De Gyves Djemame, Karim Univ Leeds Sch Comp Leeds W Yorkshire England
Increase emphasis on Quality of Service and highly changing environments make management of composite services a time consuming and complicated task. Adaptation approaches aim to mitigate the management problem by adj... 详细信息
来源: 评论
Verifying bigraphical models of architectural reconfigurations
Verifying bigraphical models of architectural reconfiguratio...
收藏 引用
7th international symposium on theoretical Aspects of Software Engineering (TASE)
作者: Sanchez, Alejandro Soares Barbosa, Luis Riesco, Daniel Univ Nacl San Luis Dept Informat San Luis Argentina Univ Minho INESC TEC HASLab Braga Portugal
ARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems. this paper proposes a structural semantics for ARCHERY, and a metho... 详细信息
来源: 评论
Modeling ontological structures with type classes in Coq
Modeling ontological structures with type classes in Coq
收藏 引用
7th international symposium on Parameterized and Exact Computation, IPEC 2012
作者: Dapoigny, Richard Barlatier, Patrick Listic/Polytech'Annecy-Chambéry University of Savoie P.O. Box 80439 74944 Annecy-le-vieux Cedex France
In the domain of ontology design as well as in Conceptual Modeling, representing universals is a challenging problem. Most approaches which have addressed this problem rely either on Description logics (DLs) or on Fir... 详细信息
来源: 评论
Interpreting spatiotemporal expressions from english to fuzzy logic
Interpreting spatiotemporal expressions from english to fuzz...
收藏 引用
7th international Web Rule symposium on theory, Practice, and Applications of Rules on the Web, RuleML 2013
作者: Murray, William R. Harrison, Philip Singliar, Tomas Boeing Research and Technology PO Box 3707 Seattle WA 98124 United States
We discuss extensions to a controlled natural language allowing spatiotemporal expressions to be interpreted as fuzzy logic functions. the extensions first required new sentence templates. Next, changes to a GPSG pars... 详细信息
来源: 评论
Adding secure communication mechanism to existing distributed applications by means of AOP
Adding secure communication mechanism to existing distribute...
收藏 引用
7th international Conference on Ubiquitous Information Technologies and Applications, CUTE 2012
作者: Sahingoz, Ozgur Koray Turkish Air Force Academy Computer Engineering Department 34149 Istanbul Turkey
the object-oriented programming paradigm is a process of implementing a program by means of 'Objects' into which separate concerns are grouped. However, it does not map some types of concerns such as security,... 详细信息
来源: 评论
Solving SAT-encoded Formal Verification Problems on SoC Based on a WSAT Algorithm with a New Heuristic for Hardware Acceleration
Solving SAT-encoded Formal Verification Problems on SoC Base...
收藏 引用
IEEE international symposium on Embedded Multicore Socs (MCSoC)
作者: Kenji Kanazawa Tsutomu Maruyama Faculty of Engineering University of Tsukuba Ibaraki Japan
In this paper, we describe a heuristic in a Walk SAT (WSAT) algorithm for solving SAT-encoded formal verification problems efficiently on hardware, and its expected performance on system on chip (SoC). In WSAT algorit... 详细信息
来源: 评论