Sciweavers

10802 search results - page 434 / 2161
» Generative and developmental systems
Sort
View
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 6 months ago
Computer algebra in systems biology
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
Reinhard C. Laubenbacher, Bernd Sturmfels
JBCS
2002
102views more  JBCS 2002»
15 years 6 months ago
Configurable Data Integration Middleware System
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
Álvaro Cesar P. Barbosa, Fabio Porto, Ruben...
ACL
2010
15 years 4 months ago
Beetle II: A System for Tutoring and Computational Linguistics Experimentation
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
POPL
2003
ACM
16 years 7 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
LICS
2009
IEEE
16 years 1 months ago
Dinatural Terms in System F
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
Joachim De Lataillade