3591 search results - page 412 / 719 » Typing linear constraints |
143
click to vote
UAI
2001
15 years 8 months ago
2001
We propose a directed graphical representation of utility functions, called UCP-networks, that combines aspects of two existing preference models: generalized additive models and ...
188
click to vote
BMVC
1998
15 years 8 months ago
1998
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...
176
click to vote
PTS
1998
15 years 8 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
165
click to vote
ACL
1990
15 years 7 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
173
click to vote
WCE
2007
15 years 7 months ago
2007
—In the design process of complex systems, the designer is solving an optimization problem, which involves different disciplines and where all design criteria have to be optimize...