An interpolation method for CLP traversal

An interpolation method for CLP traversal

10.1007/978-3-642-04244-7_37

Saved in:

書目詳細資料
Main Authors:	Jaffar, J., Santosa, A.E., Voicu, R.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/41103
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Modeling systems in CLP
由: Jaffar, J., et al.
出版: (2013)

A CLP method for compositional and intermittent predicate abstraction
由: Jaffar, J., et al.
出版: (2013)

A CLP proof method for timed automata
由: Jaffar, J., et al.
出版: (2013)

A CLP approach to modelling systems
由: Jaffar, J.
出版: (2013)

Relative safety
由: Jaffar, J., et al.
出版: (2013)

Efficient memoization for dynamic programming with ad-hoc constraints
由: Jaffar, J., et al.
出版: (2013)

A coinduction rule for entailment of recursively defined properties
由: Jaffar, J., et al.
出版: (2013)

Optimizing compilation of CLP(R)
由: Kelly, A.D., et al.
出版: (2014)

Meta-programming in CLP(ℛ)
由: Heintze, N., et al.
出版: (2014)

Traverse.
由: Liang, April Ella.
出版: (2013)

Traverse.
由: Lee, Jolly Yu See.
出版: (2013)

Rotating traversable wormholes
由: Teo, E.
出版: (2014)

Peran Kadar HLA-C Pada Penderita CLP (Cleft Lip And Palate) di CLP Center Surabaya
由: Faizah Hanum, -
出版: (2019)

The sinusoidal traversable wormhole.
由: Fu, Ganwei.
出版: (2013)

Boosting concolic testing via interpolation
由: Jaffar, J., et al.
出版: (2014)

HM(X) type inference is CLP(X) solving
由: Sulzmann, M., et al.
出版: (2013)

Lack of fit in traverse networks
由: Tan, W.
出版: (2013)

NAT traversing VPN client software
由: Go, Jay Norris D., et al.
出版: (2009)

Self-adaptive graph traversal on GPUs
由: SHA, Mo, et al.
出版: (2021)

Learning based terrain traversability analysis
由: Fang, Hao Yu
出版: (2020)

More efficient periodic traversal in anonymous undirected graphs
由: Czyzowicz, J., et al.
出版: (2013)

More efficient periodic traversal in anonymous undirected graphs
由: Czyzowicz, J., et al.
出版: (2013)

Implementation of balance control on quadruped terrain traversal
由: Falcon, Christian Danielle S., et al.
出版: (2014)

PERBANDINGAN SEFALOMETRI JARINGAN LUNAK PADA KELAS I SKELETAL DENGAN POST OPERASI PENDERITA CLP UNILATERAL DAN PENDERITA CLP BILATERAL (Studi Analisis Sefalometri)
由: ARDAN FITRIANTO, 021518066311
出版: (2019)

Comparison between the radial point interpolation and the Kriging interpolation used in meshfree methods
由: Dai, K.Y., et al.
出版: (2014)

Implementation of balance control on terrain quadruped traversal
由: Del Rosario, Jay Robert B., et al.
出版: (2016)

GPU-based graph traversal on compressed graphs
由: SHA, Mo, et al.
出版: (2019)

A general method for constructing curved traversable wormholes in (2+1)-dimensional spacetime
由: Saw, Vee-Liem, et al.
出版: (2013)

Traversing the Laws: The Unregulated Movement of Filipino Migrants in Thailand
由: Sarausad, Mary Rose Geraldine A., et al.
出版: (2017)

Minimum-time control of crane with simultaneous traverse and hoist
由: Ong, C.J., et al.
出版: (2014)

Interpolation Methods for Symbolic Execution
由: CHU DUC HIEP
出版: (2013)

Recursive abstractions for parameterized systems
由: Jaffar, J., et al.
出版: (2013)

Curved traversable wormholes in (3+1)-dimensional spacetime
由: Saw, Vee-Liem, et al.
出版: (2014)

The Pervert’s Guide to Historical Revisionism: Traversing the Marcos Fantasy
由: Bautista, Victor Felipe;
出版: (2018)

Effective reduction of truncated expression of gloshedobin in Escherichia coli using molecular chaperone ClpB
由: Nian, R., et al.
出版: (2014)

Folding-like-refolding of heat-denatured MDH using unpurified ClpB and DnaKJE
由: Nian, R., et al.
出版: (2014)

Effect of traversal jet injections on skin friction in a turbulent channel
由: Tay, C.M.J., et al.
出版: (2014)

Edge-based smoothed point interpolation methods
由: Liu, G.R., et al.
出版: (2014)

Boundary meshfree methods based on the boundary point interpolation methods
由: Liu, G.R., et al.
出版: (2014)

Boundary meshfree methods based on the boundary point interpolation methods
由: Liu, G.R., et al.
出版: (2014)