65 search results - page 2 / 13 » Exploiting domain knowledge to improve norm synthesis |
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
13 years 11 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
LREC
2010
13 years 6 months ago
2010
Domain specific entity recognition often relies on domain-specific knowledge to improve system performance. However, such knowledge often suffers from limited domain portability a...
CICLING
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
FLAIRS
2006
13 years 6 months ago
2006
The management of knowledge, i.e. knowing what is known and the ability to exploit it is a burning issue for most organizations. Though knowledge management has a strong social pe...