19130 search results - page 304 / 3826 » Modelling multi-path problems |
147
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
187
click to vote
CCCG
2009
15 years 7 months ago
2009
In this paper, we present new algorithms for computing maximum perimeter and maximum area of the convex hull of imprecise inputs based on the parallel line segment model. The runn...
162
click to vote
LDVF
2000
15 years 6 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
178
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper surveys recent work in applying ideas from graphical models and message passing algorithms to solve large scale regularized regression problems. In particular, the focu...
171
Voted
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Sketching web applications with mockup tools is a common practice that improves the process of elicitation and validation of requirements in web applications. However, mockups are ...