11462 search results - page 549 / 2293 » Developing Application-Centric Methods |
151
click to vote
ALT
2010
Springer
15 years 8 months ago
2010
Springer
We further develop the idea that the PAC-Bayes prior can be informed by the data-generating distribution. We prove sharp bounds for an existing framework of Gibbs algorithms, and ...
210
click to vote
ACL
2007
15 years 8 months ago
2007
Many automatic evaluation metrics for machine translation (MT) rely on making comparisons to human translations, a resource that may not always be available. We present a method f...
161
click to vote
CASCON
2006
15 years 8 months ago
2006
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing technique...
189
click to vote
MSO
2003
15 years 8 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
182
click to vote
FBT
1997
15 years 8 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...