619 search results - page 30 / 124 » Generic Extensions and Generic Polynomials |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
In recent years polynomial solvers based on algebraic geometry techniques, and specifically the action matrix method, have become popular for solving minimal problems in computer...
JSYML
2008
13 years 7 months ago
2008
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
MLQ
2008
13 years 7 months ago
2008
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...
CSCW
1990
ACM
13 years 11 months ago
1990
ACM
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...