Sciweavers

1800 search results - page 221 / 360
» Feature Interaction in Composed Systems
Sort
View
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 1 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
VR
1999
IEEE
154views Virtual Reality» more  VR 1999»
15 years 8 months ago
A Virtual Assembly Design Environment
The Virtual Assembly Design Environment (VADE) is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechan...
Sankar Jayaram, Yong Wang, Uma Jayaram, Kevin W. L...
GECCO
2007
Springer
187views Optimization» more  GECCO 2007»
15 years 10 months ago
Defining implicit objective functions for design problems
In many design tasks it is difficult to explicitly define an objective function. This paper uses machine learning to derive an objective in a feature space based on selected examp...
Sean Hanna
ACL
2006
15 years 5 months ago
An End-to-End Discriminative Approach to Machine Translation
We present a perceptron-style discriminative approach to machine translation in which large feature sets can be exploited. Unlike discriminative reranking approaches, our system c...
Percy Liang, Alexandre Bouchard-Côté,...
CHI
2008
ACM
16 years 4 months ago
Requirements engineering for home care technology
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...
Marilyn Rose McGee-Lennon