Sciweavers

943 search results - page 10 / 189
» Virtual First-Order Structure
Sort
View
132
Voted
IJVR
2007
108views more  IJVR 2007»
15 years 2 months ago
Design and Narrative Structure for the Virtual Human Scenarios
—This article describes the design of the two application scenarios of the Virtual Human project and its integration into the Virtual Human system. This includes overall concepts...
Stefan Göbel, Ido Aharon Iurgel, Markus R&oum...
JSYML
2006
85views more  JSYML 2006»
15 years 2 months ago
On PAC and bounded substructures of a stable structure
We introduce and study the notions of a PAC substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [8]. We give precise definiti...
Anand Pillay, Dominika Polkowska
IRCDL
2008
15 years 3 months ago
Automatic Document Organization Exploiting FOL Similarity-based Techniques
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
Stefano Ferilli, Teresa Maria Altomare Basile, Mar...
JSYML
2000
56views more  JSYML 2000»
15 years 2 months ago
Recursive in A Generic Real
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
Juichi Shinoda, Theodore A. Slaman