270 search results - page 28 / 54 » A Simple and General Theoretical Account for Abstract Types |
CP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper introduces a generalization of the nvalue constraint that bounds the number of distinct values taken by a set of variables.The generalized constraint (called n...
ICCPOL
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
VISAPP
2010
13 years 5 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...