2974 search results - page 247 / 595 » Model-Driven Constraint Programming |
156
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
193
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
194
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper introduces a semi-supervised distance metric learning algorithm which uses pair-wise equivalence (similarity and dissimilarity) constraints to improve the original dist...
184
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— Relay power allocation has been shown to provide substantial performance gain in wireless relay channels when perfect global channel state information (CSI) is available. In th...
173
click to vote
CLEF
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...