Sciweavers

279 search results - page 45 / 56
» Learning and reasoning about interruption
Sort
View
ISESE
2002
IEEE
14 years 1 months ago
Replicating Software Engineering Experiments: Addressing the Tacit Knowledge Problem
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...
Forrest Shull, Victor R. Basili, Jeffrey Carver, J...
ICAIL
2009
ACM
14 years 1 months ago
Segmentation of legal documents
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...
Eneldo Loza Mencía
EMMCVPR
2001
Springer
14 years 1 months ago
A Hierarchical Markov Random Field Model for Figure-Ground Segregation
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
Stella X. Yu, Tai Sing Lee, Takeo Kanade
CSFW
2010
IEEE
14 years 18 days ago
Required Information Release
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
Stephen Chong
FASE
2009
Springer
14 years 16 days ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu