2062 search results - page 328 / 413 » Derivatives of Logical Formulas |
161
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
166
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
171
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
144
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
PageRank is defined as the stationary state of a Markov chain. The chain is obtained by perturbing the transition matrix induced by a web graph with a damping factor that spreads...
145
Voted
SIAMSC
2008
15 years 5 months ago
2008
In this paper we present a new incomplete factorization of a square matrix into triangular factors in which we get standard LU or LDLT factors (direct factors) and their inverses (...