Sciweavers

3071 search results - page 170 / 615
» Explanatory Design Theory
Sort
View
AUTOMATICA
2002
126views more  AUTOMATICA 2002»
14 years 10 months ago
Halo orbit mission correction maneuvers using optimal control
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
79
Voted
JMLR
2002
90views more  JMLR 2002»
14 years 10 months ago
Machine Learning with Data Dependent Hypothesis Classes
We extend the VC theory of statistical learning to data dependent spaces of classifiers. This theory can be viewed as a decomposition of classifier design into two components; the...
Adam Cannon, J. Mark Ettinger, Don R. Hush, Clint ...
POPL
2003
ACM
15 years 11 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
DPPI
2003
ACM
15 years 4 months ago
Defining co-experience
In the context of design for experience this paper presents a review of existing models of user experience. In response to a prevalent view of experience as something individual, ...
Katja Battarbee
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
15 years 3 months ago
PIA - A Generic Model and System for Interactive Product and Service Catalogs
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
Florian Matthes, Ulrike Steffens