4224 search results - page 653 / 845 » Reasoning about Choice |
159
click to vote
ISESE
2002
IEEE
15 years 10 months ago
2002
IEEE
Recently the awareness of the importance of replicating studies has been growing in the empirical software engineering community. The results of any one study cannot simply be ext...
151
click to vote
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
176
click to vote
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
180
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
131
click to vote
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...