580 search results - page 44 / 116 » Building a Family of Compilers |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
APAL
2006
13 years 7 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
CG
1999
Springer
13 years 7 months ago
1999
Springer
Building upon work which illustrated families of chaotic functions with planar symmetries, we explore evolving attractors from one symmetry type to another. We observe different wa...
JGO
2011
13 years 2 months ago
2011
We present a proximal point method to solve multiobjective problems based on the scalarization for maps. We build a family of a convex scalar strict representation of a convex map...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we build an analytical framework for the design and analysis of a new family of social norm based incentive mechanisms for peer-to-peer (P2P) networks. With this fr...