Sciweavers

4961 search results - page 302 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
CORR
1998
Springer
125views Education» more  CORR 1998»
15 years 4 months ago
Some Ontological Principles for Designing Upper Level Lexical Resources
The purpose of this paper is to explore some semantic problems related to the use of linguistic ontologies in information systems, and to suggest some organizing principles aimed ...
Nicola Guarino
IJON
2002
88views more  IJON 2002»
15 years 4 months ago
Curved feature metrics in models of visual cortex
We study the relation between maps of a high-dimensional stimulus manifold onto an essentially two-dimensional cortical area and low-dimensional maps of stimulus features such as ...
Norbert Michael Mayer, J. Michael Herrmann, Theo G...
INFSOF
1998
73views more  INFSOF 1998»
15 years 4 months ago
Restructuring programs by tucking statements into functions
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
Arun Lakhotia, Jean-Christophe Deprez
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 4 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
JVCA
2002
161views more  JVCA 2002»
15 years 3 months ago
Building 3D anatomical scenes on the Web
We propose a new service for building user-defined 3D anatomic structures on the Web. The Web server is connected to a data base storing more than 1000 3D anatomic models reconstr...
F. Evesque, Sebastian Gerlach, Roger D. Hersch