Sciweavers

7529 search results - page 205 / 1506
» The Modula-3 Type System
Sort
View
CDC
2010
IEEE
101views Control Systems» more  CDC 2010»
15 years 1 months ago
Identification of mixed linear/nonlinear state-space models
The primary contribution of this paper is an algorithm capable of identifying parameters in certain mixed linear/nonlinear state-space models, containing conditionally linear Gauss...
Fredrik Lindsten, Thomas B. Schön
ACL
2011
14 years 10 months ago
Improving Classification of Medical Assertions in Clinical Notes
We present an NLP system that classifies the assertion type of medical problems in clinical notes used for the Fourth i2b2/VA Challenge. Our classifier uses a variety of linguisti...
Youngjun Kim, Ellen Riloff, Stèphane M. Mey...
LICS
1993
IEEE
15 years 10 months ago
A lambda calculus of objects and method specialization
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
John C. Mitchell, Furio Honsell, Kathleen Fisher
EUROGP
2001
Springer
15 years 11 months ago
Polymorphism and Genetic Programming
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
Tina Yu
COLING
2010
15 years 1 months ago
Cloud Computing for Linguists
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
Dorothee Beermann, Pavel Mihaylov