400 search results - page 39 / 80 » codes 2001 |
110
Voted
IPCO
2001
15 years 3 months ago
2001
The paper presents a branch-and-cut for solving (0, 1) integer linear programs having a large symmetry group. The group is used for pruning the enumeration tree and for generating ...
185
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
122
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
121
Voted
ECCV
2006
Springer
16 years 4 months ago
2006
Springer
Non-negative tensor factorization (NTF) has recently been proposed as sparse and efficient image representation (Welling and Weber, Patt. Rec. Let., 2001). Until now, sparsity of t...
217
Voted
AMT
2001
Springer
15 years 7 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...