2702 search results - page 110 / 541 » Practically Applicable Formal Methods |
JUCS
2010
14 years 4 months ago
2010
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
ERCIMDL
2009
Springer
15 years 4 months ago
2009
Springer
Name ambiguity in the context of bibliographic citations is one of the hardest problems currently faced by the digital library community. Several methods have been proposed in the ...
101
click to vote
UAI
2008
14 years 11 months ago
2008
Gaussian Markov random fields (GMRFs) are useful in a broad range of applications. In this paper we tackle the problem of learning a sparse GMRF in a high-dimensional space. Our a...
INFORMATICALT
2011
14 years 5 months ago
2011
Estimation and modelling problems as they arise in many data analysis areas often turn out to be unstable and/or intractable by standard numerical methods. Such problems frequently...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...