1724 search results - page 115 / 345 » Abstract Interpreters for Free |
144
click to vote
CEC
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
151
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
145
click to vote
BPM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at run...
167
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we consider two types of inverse sorting problems. The first type is an inverse sorting problem under weighted Hamming distance with bound constraints, wh...
173
click to vote
ISNN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The present study investigates a geometrical method for optimizing the kernel function of a support vector machine. The method is an improvement of the one proposed in [4...