Sciweavers

2880 search results - page 164 / 576
» Types are calling conventions
Sort
View
COMBINATORICS
2007
69views more  COMBINATORICS 2007»
15 years 6 months ago
On the Number of Genus One Labeled Circle Trees
A genus one labeled circle tree is a tree with its vertices on a circle, such that together they can be embedded in a surface of genus one, but not of genus zero. We define an e-...
Karola Mészáros
JCT
2006
87views more  JCT 2006»
15 years 6 months ago
Construction of bent functions via Niho power functions
A Boolean function with an even number n = 2k of variables is called bent if it is maximally nonlinear. We present here a new construction of bent functions. Boolean functions of ...
Hans Dobbertin, Gregor Leander, Anne Canteaut, Cla...
ENGL
2007
144views more  ENGL 2007»
15 years 6 months ago
Constructive Analysis of Intensional Phenomena in Natural Language
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
Rogelio Davila, Leonardo Soto, Nahitt H. Padilla
FUIN
2000
123views more  FUIN 2000»
15 years 6 months ago
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
Anastasia Analyti, Nicolas Spyratos, Panos Constan...
COMGEO
2008
ACM
15 years 6 months ago
Decomposing a simple polygon into pseudo-triangles and convex polygons
In this paper we consider the problem of decomposing a simple polygon into subpolygons that exclusively use vertices of the given polygon. We allow two types of subpolygons: pseud...
Stefan Gerdjikov, Alexander Wolff