Sciweavers

1507 search results - page 133 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
ARITH
2005
IEEE
14 years 3 months ago
Fast Modular Reduction for Large Wordlengths via One Linear and One Cyclic Convolution
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
Dhananjay S. Phatak, Tom Goff
ATAL
2007
Springer
14 years 4 months ago
Normative system games
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
14 years 2 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
APSCC
2009
IEEE
14 years 5 months ago
SADI Semantic Web Services -- 'cause you can't always GET what you want!
SADI – Semantic Automated Discovery and Integration – is a set of standards-compliant Semantic Web Service design patterns that exploit the relatively straightforward interfac...
Mark D. Wilkinson, Benjamin P. Vandervalk, E. Luke...
COLT
2004
Springer
14 years 3 months ago
Convergence of Discrete MDL for Sequential Prediction
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....
Jan Poland, Marcus Hutter