1130 search results - page 178 / 226 » Multiple Instance Regression |
CSL
2004
Springer
14 years 1 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
RE
2004
Springer
14 years 1 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
PERCOM
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...
SIGIR
2003
ACM
14 years 29 days ago
2003
ACM
We consider the problem of modeling annotated data—data with multiple types where the instance of one type (such as a caption) serves as a description of the other type (such as...