Sciweavers

5203 search results - page 800 / 1041
» An approach to workflow modeling and analysis
Sort
View
MM
2010
ACM
336views Multimedia» more  MM 2010»
15 years 6 months ago
Movie genre classification via scene categorization
This paper presents a method for movie genre categorization of movie trailers, based on scene categorization. We view our approach as a step forward from using only low-level visu...
Howard Zhou, Tucker Hermans, Asmita V. Karandikar,...
DISOPT
2007
93views more  DISOPT 2007»
15 years 6 months ago
A feasibility pump heuristic for general mixed-integer problems
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
Livio Bertacco, Matteo Fischetti, Andrea Lodi
172
Voted
JSS
2008
136views more  JSS 2008»
15 years 6 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
SOCINFO
2010
15 years 5 months ago
Dynamic Context-Sensitive PageRank for Expertise Mining
Abstract. Online tools for collaboration and social platforms have become omnipresent in Web-based environments. Interests and skills of people evolve over time depending in perfor...
Daniel Schall, Schahram Dustdar