1187 search results - page 125 / 238 » Graph-Based Procedural Abstraction |
122
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
89
Voted
ASIACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. It is almost a folklore-knowledge that hash-based time-stamping schemes are secure if the underlying hash function is collisionresistant but still no rigorous proofs have...
118
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
124
click to vote
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose a new solution approach for the Job Shop Problem with Sequence Dependent Setup Times (SDST-JSP). The problem consists in scheduling jobs, each job being a set ...
122
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...