2586 search results - page 247 / 518 » Automatic Abstraction for Congruences |
163
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
159
click to vote
TSD
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper deals with the problem of speech waveform polarity. As the polarity of speech waveform can influence the performance of pitch marking algorithms (see Sec. 4),...
189
click to vote
VISUAL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. An approach for visual information analysis and classification is presented. It is based on a knowledge synthesizing technique to automatically create a relevance map fro...
185
click to vote
VIZSEC
2007
Springer
16 years 22 days ago
2007
Springer
Monitoring host behavior in a network is one of the most essential tasks in the fields of network monitoring and security since more and more malicious code in the wild internet c...
171
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...