Sciweavers

20066 search results - page 195 / 4014
» T Spaces
Sort
View
CSL
2007
Springer
16 years 23 days ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
ICCS
2007
Springer
16 years 23 days ago
Searching and Updating Metric Space Databases Using the Parallel EGNAT
Abstract. The Evolutionary Geometric Near-neighbor Access Tree (EGNAT) is a recently proposed data structure that is suitable for indexing large collections of complex objects. It ...
Mauricio Marín, Roberto Uribe, Ricardo J. B...
KI
2007
Springer
16 years 22 days ago
On Constructing a Communicative Space in HRI
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
Claudia Muhl, Yukie Nagai, Gerhard Sagerer
NLDB
2007
Springer
16 years 22 days ago
Combining Vector Space Model and Multi Word Term Extraction for Semantic Query Expansion
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
Eric SanJuan, Fidelia Ibekwe-Sanjuan, Juan Manuel ...
SCIA
2007
Springer
111views Image Analysis» more  SCIA 2007»
16 years 21 days ago
Scale-Space Texture Classification Using Combined Classifiers
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
Mehrdad J. Gangeh, Bart M. ter Haar Romeny, C. Esw...