5499 search results - page 263 / 1100 » Generalized Rewrite Theories |
275
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
222
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
We present a polynomial time approximation scheme (PTAS) for the minimum feedback arc set problem on tournaments. A simple weighted generalization gives a PTAS for KemenyYoung ran...
187
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
174
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
— A new three degrees of freedom translational parallel manipulator (TPM) with fixed actuators, called a general 3-PRC TPM, is proposed in this paper. The mobility of the manipu...
180
click to vote
FROCOS
2005
Springer
16 years 24 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...