搜索页_Constraint-based+type+inference

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(1)	ProQuest学位论文(19)	Elsevier电子期刊(93)
SpringerLink电子期刊(61)	GSW全文库(4)

在“SpringerLink电子期刊”中，命中：61条，耗时：0.1289373 秒

在所有数据库中总计命中：178条

1. Type Inference for Session Types in the \(\pi \) -calculus

刊名：Lecture Notes in Computer Science

出版年：2016

2. Optimal Design of Dilution Experiments Under Volume Constraints

作者： Maryam Zolghadr ; Sergei Zuyev

关键词：Dilution experiment ; Poisson parameter inference ; Fisher information criteria ; One ; stage design ; Design measure ; Gradient methods ; Variational analysis on measures ; Stem cell counting

刊名：Journal of Agricultural, Biological and Environmental Statistics

出版年：2016

3. A Theory Agenda for Component-Based Design

刊名：Lecture Notes in Computer Science

出版年：2015

4. Refinement Type Inference via Horn Constraint Optimization

刊名：Lecture Notes in Computer Science

出版年：2015

5. Spider Graphs: a graph transformation system for spider diagrams

作者： Paolo Bottoni ; Andrew Fish ; Francesco Parisi Presicce

关键词：Diagrammatic reasoning ; Graph transformations ; Spider diagrams ; Spider Graphs ; Reasoning strategies

刊名：Software and Systems Modeling

出版年：2015

6. Type Inference for GADTs and Anti-unification

刊名：Lecture Notes in Computer Science

出版年：2015

7. Learning General Constraints in CSP

刊名：Lecture Notes in Computer Science

出版年：2015

8. Small-Variance Asymptotics for Bayesian Nonparametric Models with Constraints

刊名：Lecture Notes in Computer Science

出版年：2015

9. Partial Type Signatures for Haskell

作者：Thomas Winant (18)
Dominique Devriese (18)
Frank Piessens (18)
Tom Schrijvers (19)

关键词：Haskell ; Hindley ; Milner type inference ; (partial) type signatures ; wildcards

刊名：Lecture Notes in Computer Science

出版年：2014

10. Bi-level fuzzy based advanced reservation of Cloud workflow applications on distributed Grid resources

作者：Sahar Adabi (1)
Ali Movaghar (2)
Amir Masoud Rahmani (1)

关键词：Large ; scale workflow ; Cloud application scheduling ; Application graph ; QoS ; Multi ; cluster Grid ; Advanced reservation ; Fuzzy Inference System

刊名：The Journal of Supercomputing

出版年：2014

1

2

3

4

5

6

7

按检索点细分(61)

文摘(50)

按出版年细分(61)

2016年(2)

2015年(6)

2014年(3)

2013年(7)

2012年(5)

2011年(4)

2010年(2)

2009年(3)

2008年(3)

2007年(8)

2006年(3)

2005年(8)

2004年(2)

2002年(1)

2001年(2)

2000年及以前(2)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700