10715 search results - page 1801 / 2143 » From Tests to Proofs |
165
click to vote
CCE
2005
15 years 6 months ago
2005
In this paper, a rigorous MILP formulation for grass-root design of heat exchanger networks is developed. The methodology does not rely on traditional supertargeting followed by n...
200
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
184
click to vote
JMIV
2007
15 years 6 months ago
2007
An image similarity measure based upon intensity scaling is investigated for the registration of images which differ in contast. The measure is introduced for both optical flow a...
178
click to vote
JMM2
2007
15 years 6 months ago
2007
— This paper deals with automatic dialogue acts (DAs) recognition in Czech. Dialogue acts are sentence-level labels that represent different states of a dialogue, such as questio...
221
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--Network intrusion detection aims at distinguishing the attacks on the Internet from normal use of the Internet. It is an indispensable part of the information security sy...