首页> 外文OA文献 >Time-extraction for temporal logic-logic programming and local process time

【2h】

Time-extraction for temporal logic-logic programming and local process time

机译：用于时间逻辑-逻辑编程和本地处理时间的时间提取

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hattori Takashi;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A bi-objective possibilistic programming model for open shop scheduling problems with sequence-dependent setup times, fuzzy processing times, and fuzzy due dates [J] . Samane Noori-Darvish, Iraj Mahdavi, Nezam Mahdavi-Amiri Applied Soft Computing . 2012,第4期

机译：具有开放序列调度时间，模糊处理时间和模糊到期日期的开放式车间调度问题的双目标可能规划模型
2. Convex quadratic programming relaxations for parallel machine scheduling with controllable processing times subject to release times [J] . ZHANG Feng, CHEN Feng, TANG Guochun 自然科学进展（英文版） . 2004,第009期

机译：凸二次方编程松弛，用于并行机器调度，可控制的处理时间取决于发布时间
3. Convex quadratic programming relaxations for parallel machine scheduling with controllable processing times subject to release times [J] . ZHANG Feng, CHEN Feng, TANG Guochun Progress in Natural Science . 2004,第9期

机译：凸二次方编程松弛，用于并行机调度，可控制的处理时间取决于发布时间
4. Large scale analog neural computer with programmable architecture and programmable time constants for temporal pattern analysis [C] . Van der Spiegel, J., Donham, . 1994

机译：具有可编程体系结构和可编程时间常数的大规模模拟神经计算机，用于时间模式分析
5. A THEORY OF PROCESSES (MODEL, PROOF SYSTEM, PROGRAMMING LANGUAGE, PROGRAM SYNTHESIS, TEMPORAL LOGIC). [D] . NGUYEN, VAN LONG. 1985

机译：过程理论（模型，证明系统，编程语言，程序综合，时间逻辑）。
6. Temporal processing of self-motion: modeling reaction times for rotations and translations [O] . Florian Soyka, Heinrich H. Bülthoff, Michael Barnett-Cowan -1

机译：自我运动的时间处理：模拟旋转和平移的反应时间
7. Time-Extraction for Temporal Logic : Logic Programming and Local Process Time [O] . Hattori Takashi 1988

机译：时间逻辑的时间提取：逻辑编程和本地处理时间
8. Temporal, Processor, and Spatial Locality in Multiprocessor Memory References. [R] . Agarwal, A., Gupta, A. 1989

机译：多处理器内存参考中的时间，处理器和空间位置。

Time-extraction for temporal logic-logic programming and local process time

著录项

引文网络

相似文献

相关主题

期刊订阅