2748 search results - page 158 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
COR
2010
15 years 22 days ago
2010
This paper presents different methods for solving parallel machine scheduling problems with precedence constraints and setup times between the jobs. Limited discrepancy search met...
98
Voted
PAMI
2006
15 years 16 days ago
2006
Three-dimensional appearance models consisting of spatially varying reflectance functions defined on a known shape can be used in analysis-by-synthesis approaches to a number of vi...
101
Voted
BMVC
2010
14 years 10 months ago
2010
Given a video and associated text, we propose an automatic annotation scheme in which we employ a latent topic model to generate topic distributions from weighted text and then mo...
112
Voted
AAAI
1994
15 years 1 months ago
1994
This paper presents snlp+ebl, the first implementation of explanation based learning techniques for a partial order planner. We describe the basic learning framework of snlp+ebl, ...
125
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...