6456 search results - page 370 / 1292 » Constraint Solving on Terms |
187
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, a semi-blind channel estimation method is presented for MIMO-OFDM systems. The new method uses the linear prediction for obtaining a blind constraint on the MIMO...
149
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
183
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
173
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
160
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...