456 search results - page 80 / 92 » Extending Problem Frames to deal with stakeholder problems |
201
click to vote
SIGIR
2010
ACM
15 years 27 days ago
2010
ACM
Automatic Document Classification (ADC) is still one of the major information retrieval problems. It usually employs a supervised learning strategy, where we first build a classif...
136
click to vote
TSP
2010
15 years 25 days ago
2010
This paper deals with the Bayesian signal denoising problem, assuming a prior based on a sparse representation modeling over a unitary dictionary. It is well known that the maximum...
201
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
152
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
151
click to vote
LPNMR
2007
Springer
16 years 8 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...