Sciweavers

18429 search results - page 279 / 3686
» Typing dynamic typing
Sort
View
ESOP
2008
Springer
15 years 8 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
EWCBR
2008
Springer
15 years 8 months ago
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...
Cindy Marling, Jay Shubrook, Frank Schwartz
ISUVR
2007
15 years 8 months ago
A Study on the Expression of Emotions using Lights in Apparel Types
— When types of communication between people are observed, one can see that communication not only consist of words but also, contextual communication consist of facial expressio...
Yongsoon Choi, JuYong Kim, JaeKi Kyoun, Duk Hyun, ...
FECS
2006
152views Education» more  FECS 2006»
15 years 8 months ago
Lessons Learned From Different Types of Projects in Software Engineering
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
Jennifer A. Polack-Wahl
EUSFLAT
2003
120views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
A Type 2 fuzzy system modelling algorithm
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
Kemal Kilic, Özge Uncu, I. Burhan Türkse...