Sciweavers

464 search results - page 78 / 93
» Modeling Semantic Constraints with Logic in the EARL Data Mo...
Sort
View
JSW
2007
156views more  JSW 2007»
13 years 6 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
TMM
2002
130views more  TMM 2002»
13 years 6 months ago
Computable scenes and structures in films
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...
Hari Sundaram, Shih-Fu Chang
IBPRIA
2007
Springer
13 years 8 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...
BIRTHDAY
2005
Springer
14 years 9 days ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
ECIR
2010
Springer
13 years 4 months ago
Query Aspect Based Term Weighting Regularization in Information Retrieval
Abstract. Traditional retrieval models assume that query terms are independent and rank documents primarily based on various term weighting strategies including TF-IDF and document...
Wei Zheng, Hui Fang