Sciweavers

4087 search results - page 43 / 818
» Sets in Types, Types in Sets
Sort
View
MIRAGE
2007
Springer
14 years 2 months ago
Re-mapping Animation Parameters Between Multiple Types of Facial Model
Abstract. In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can b...
Darren Cosker, Steven Roy, Paul L. Rosin, A. David...
OTM
2007
Springer
14 years 2 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
PRICAI
2004
Springer
14 years 2 months ago
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
Susumu Katayama
LISP
2008
101views more  LISP 2008»
13 years 8 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
ICPR
2006
IEEE
14 years 10 months ago
Type-2 Fuzzy Markov Random Fields to Handwritten Character Recognition
This paper integrates Markov random fields (MRFs) with type-2 fuzzy sets (T2 FSs) referred to as T2 FMRFs, which can handle the fuzziness of the labeling space as well as the rand...
Jia Zeng, Zhi-Qiang Liu