2693 search results - page 114 / 539 » French Order Without Order |
199
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
199
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
159
click to vote
PAKDD
2005
ACM
16 years 11 days ago
2005
ACM
In many modern application ranges high-dimensional feature vectors are used to model complex real-world objects. Often these objects reside on different local sites. In this paper,...
197
click to vote
SAFECOMP
2005
Springer
16 years 10 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
168
click to vote
XPU
2005
Springer
16 years 10 days ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...