咨询与建议

限定检索结果

文献类型

  • 9 篇 期刊文献
  • 8 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 15 篇 工学
    • 8 篇 控制科学与工程
    • 7 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 3 篇 机械工程
    • 3 篇 信息与通信工程
    • 1 篇 测绘科学与技术
    • 1 篇 交通运输工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 软件工程
    • 1 篇 生物工程
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 2 篇 理学
    • 2 篇 生物学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 农学

主题

  • 17 篇 constraint-based...
  • 4 篇 reactive control
  • 4 篇 task specificati...
  • 2 篇 control
  • 2 篇 geometric uncert...
  • 2 篇 human-robot coll...
  • 2 篇 estimation
  • 2 篇 laser tracing
  • 1 篇 multi-sensor fus...
  • 1 篇 aerial robotics
  • 1 篇 regulatory netwo...
  • 1 篇 hybrid systems
  • 1 篇 collaborative pr...
  • 1 篇 collaborative ro...
  • 1 篇 sensor-based rob...
  • 1 篇 overfitting
  • 1 篇 constraints
  • 1 篇 snow route remov...
  • 1 篇 motion control
  • 1 篇 robotic assembly

机构

  • 1 篇 kuka deutschland...
  • 1 篇 katholieke univ ...
  • 1 篇 south dakota sta...
  • 1 篇 katholieke univ ...
  • 1 篇 katholieke univ ...
  • 1 篇 ibm corp tj wats...
  • 1 篇 ist italian tecn...
  • 1 篇 univ massachuset...
  • 1 篇 flanders make co...
  • 1 篇 kth royal inst t...
  • 1 篇 katholieke univ ...
  • 1 篇 politecn milan d...
  • 1 篇 fraunhofer first...
  • 1 篇 department of pr...
  • 1 篇 univ kansas dept...
  • 1 篇 katholieke univ ...
  • 1 篇 univ grenoble 1 ...
  • 1 篇 univ grenoble 1 ...
  • 1 篇 kyoto univ inst ...
  • 1 篇 katholieke univ ...

作者

  • 5 篇 de schutter jori...
  • 4 篇 decre wilm
  • 3 篇 bruyninckx herma...
  • 3 篇 smits ruben
  • 3 篇 de laet tinne
  • 2 篇 claes kasper
  • 2 篇 rutgeerts johan
  • 1 篇 zanchettin andre...
  • 1 篇 vanroye lander
  • 1 篇 akolkar rahul
  • 1 篇 lambeau jeroen
  • 1 篇 trilling laurent
  • 1 篇 brunette tj
  • 1 篇 verbeke j.
  • 1 篇 vochten maxim
  • 1 篇 nguyen phuong h....
  • 1 篇 polverini matteo...
  • 1 篇 liu hongyi
  • 1 篇 brayninckx herma...
  • 1 篇 yang y

语言

  • 16 篇 英文
  • 1 篇 德文
检索条件"主题词=Constraint-based programming"
17 条 记 录,以下是11-20 订阅
排序:
A constraint-based Flight Control System Architecture for UAVs using the iTaSC Framework
A Constraint-based Flight Control System Architecture for UA...
收藏 引用
International Conference on Unmanned Aircraft Systems (ICUAS)
作者: Verbeke, J. Vantilt, J. Vanthienen, D. Vochten, M. Debruyne, S. De Schutter, J. Katholieke Univ Leuven Fac Engn Technol B-3001 Heverlee Belgium Katholieke Univ Leuven PMA Dept Mech Engn B-3001 Heverlee Belgium
(Semi-) autonomous complex UAV missions, such as inspection or search-and-rescue in uncertain dynamic environments, require obstacle avoidance and operator shared control. Combining humans' cognitive abilities wit... 详细信息
来源: 评论
Collage: A Declarative programming Model for Compositional Development of Web Applications
Collage: A Declarative Programming Model for Compositional D...
收藏 引用
13th International Conference on Human-Computer Interaction
作者: Lucas, Bruce Akolkar, Rahul Wiecha, Charlie IBM Corp TJ Watson Res Ctr Yorktown Hts NY 10598 USA
Collage is a declarative programming model and runtime expressly targeted at building and deploying cross-organizational software as compositions of web components. Collage is based on an RDF data model, data-driven e... 详细信息
来源: 评论
Automatic and interactive scheduling
收藏 引用
Informatik - Forschung und Entwicklung 2004年 第2期19卷 65-73页
作者: Geske, Ulrich Goltz, Hans-Joachim Fraunhofer FIRST 12489 Berlin Kekuléstr. 7 Germany
The interactive, automatic timetabling system was developed in Fraunhofer FIRST'S department for Planning Technology and and Declarative programming in the frame of research on the constraint-based programming par... 详细信息
来源: 评论
iTASC: a Tool for Multi-Sensor Integration in Robot Manipulation
iTASC: a Tool for Multi-Sensor Integration in Robot Manipula...
收藏 引用
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems
作者: Smits, Ruben De Laet, Tinne Claes, Kasper Bruyninckx, Herman De Schutter, Joris Katholieke Univ Leuven Dept Mech Engn B-3001 Louvain Belgium
iTASC (acronym for 'instantaneous task specification and control') ill is a systematic constraint-based approach to specify complex tasks of general sensor-based robot systems. iTASC integrates both instantane... 详细信息
来源: 评论
Extending iTaSC to support inequality constraints and non-instantaneous task specification
Extending iTaSC to support inequality constraints and non-in...
收藏 引用
IEEE International Conference on Robotics and Automation
作者: Decre, Wilm Smits, Ruben Bruyninckx, Herman De Schutter, Joris Katholieke Univ Leuven Dept Mech Engn Louvain Belgium
In [1], we presented our constraint-based programming approach, iTaSC(1), that formulates instantaneous sensor-based robot tasks as constraint sets, and subsequently solves a corresponding least-squares problem to obt... 详细信息
来源: 评论
Coordinated teams of reactive mobile platforms
Coordinated teams of reactive mobile platforms
收藏 引用
19th IEEE International Conference on Robotics and Automation (ICRA)
作者: Sweeney, J Brunette, TJ Yang, Y Grupen, R Univ Massachusetts Dept Comp Sci Lab Perceptual Robot Amherst MA 01003 USA
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating robots. Teams are modeled as highly red... 详细信息
来源: 评论
Computational Methods for Modification of Metabolic Networks
收藏 引用
COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL 2015年 13卷 376-381页
作者: Tamura, Takeyuki Lu, Wei Akutsu, Tatsuya Kyoto Univ Inst Chem Res Bioinformat Ctr Uji Kyoto 6110011 Japan
In metabolic engineering, modification of metabolic networks is an important biotechnology and a challenging computational task. In the metabolic network modification, we should modify metabolic networks by newly addi... 详细信息
来源: 评论