2268 search results - page 211 / 454 » The Essence of Form Abstraction |
131
Voted
IAJIT
2008
15 years 1 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
117
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
107
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
107
click to vote
DAM
2006
15 years 1 months ago
2006
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...
105
click to vote
IJAR
2008
15 years 1 months ago
2008
Abstract. There exist several simple representations of uncertainty that are easier to handle than more general ones. Among them are random sets, possibility distributions, probabi...