Sciweavers

242 search results - page 7 / 49
» Retrieval of Complex Objects Using a Four-Valued Logic
Sort
View
CONCUR
2007
Springer
14 years 1 months ago
Strategy Logic
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
ICMCS
1999
IEEE
148views Multimedia» more  ICMCS 1999»
13 years 11 months ago
A System for the Fast Prototyping of Multidimensional Image Retrieval
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
PUC
2008
113views more  PUC 2008»
13 years 7 months ago
Design and evaluation of systems to support interaction capture and retrieval
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...
Steve Whittaker, Simon Tucker, Kumutha Swampillai,...
SIVP
2010
109views more  SIVP 2010»
13 years 2 months ago
System profiles in content-based image indexing and retrieval
In this paper, a novel study on system profiles and adaptation of parameters for end-users of content-based indexingandretrieval(CBIR)applicationsarepresented.The main objective of...
Esin Guldogan, Moncef Gabbouj
ASP
2003
Springer
14 years 22 days ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca