1757 search results - page 246 / 352 » Integrating and Extending JCSP |
158
click to vote
CICLING
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper describes our work in integrating three different lexical resources: FrameNet, VerbNet, and WordNet, into a unified, richer knowledge-base, to the end of ena...
175
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
201
click to vote
ESA
2005
Springer
16 years 11 days ago
2005
Springer
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
157
click to vote
ESORICS
2005
Springer
16 years 11 days ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
153
click to vote
FPL
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...