Sciweavers

89 search results - page 9 / 18
» Hypermap operations of finite order
Sort
View
IJCAI
1993
15 years 1 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
BIRTHDAY
2010
Springer
15 years 25 days ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
JACIII
2008
112views more  JACIII 2008»
14 years 11 months ago
Favoring Consensus and Penalizing Disagreement in Group Decision Making
Abstract. In this paper we introduce a multi-stage decision making procedure where decision makers' opinions are weighted by their contribution to the agreement after they sor...
José Luis García-Lapresta
JMLR
2010
135views more  JMLR 2010»
14 years 6 months ago
An Exponential Model for Infinite Rankings
This paper presents a statistical model for expressing preferences through rankings, when the number of alternatives (items to rank) is large. A human ranker will then typically r...
Marina Meila, Le Bao
ASAP
2004
IEEE
160views Hardware» more  ASAP 2004»
15 years 3 months ago
Architectural Support for Arithmetic in Optimal Extension Fields
Public-key cryptosystems generally involve computation-intensive arithmetic operations, making them impractical for software implementation on constrained devices such as smart ca...
Johann Großschädl, Sandeep S. Kumar, Ch...