Sciweavers

2525 search results - page 350 / 505
» A Framework for Semantic Gossiping
Sort
View
203
Voted
MM
2005
ACM
164views Multimedia» more  MM 2005»
16 years 18 days ago
Automatic discovery of query-class-dependent models for multimodal search
We develop a framework for the automatic discovery of query classes for query-class-dependent search models in multimodal retrieval. The framework automatically discovers useful q...
Lyndon S. Kennedy, Apostol Natsev, Shih-Fu Chang
187
Voted
ENTCS
2006
155views more  ENTCS 2006»
15 years 7 months ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel
195
Voted
JAIR
2007
120views more  JAIR 2007»
15 years 7 months ago
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
Cédric Pralet, Gérard Verfaillie, Th...
225
Voted
TPHOL
2009
IEEE
16 years 1 months ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk
205
Voted
SPIESR
2003
136views Database» more  SPIESR 2003»
15 years 8 months ago
Automatic Soccer Video Analysis and Summarization
Abstract—We propose a fully automatic and computationally efficient framework for analysis and summarization of soccer videos using cinematic and object-based features. The propo...
Ahmet Ekin, A. Murat Tekalp