Sciweavers

5465 search results - page 354 / 1093
» Assigning Types to Processes
Sort
View
ICIP
2002
IEEE
16 years 6 months ago
Extract highlights from baseball game video with hidden Markov models
In this paper, we describe a statistical method to detect highlights in a baseball game video. The input video is first segmented into scene shots, within which the camera motion ...
Peng Chang, Mei Han, Yihong Gong
148
Voted
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 11 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
211
Voted
ECOOP
1998
Springer
15 years 8 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
131
Voted
AI
2006
Springer
15 years 8 months ago
An Efficient Resource Allocation Approach in Real-Time Stochastic Environment
We are interested in contributing to solving effectively a particular type of real-time stochastic resource allocation problem. Firstly, one distinction is that certain tasks may c...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
DGO
2007
174views Education» more  DGO 2007»
15 years 6 months ago
A bootstrapping approach for identifying stakeholders in public-comment corpora
A stakeholder is an individual, group, organization, or community that has an interest or stake in a consensus-building process. The goal of stakeholder identification is identify...
Jaime Arguello, Jamie Callan