689 search results - page 53 / 138 » Focusing in Linear Meta-logic |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
MFCS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
Schema matching is a complex process focusing on matching between concepts describing the data in heterogeneous data sources. There is a shift from manual schema matching, done by...
CONCUR
1998
Springer
14 years 6 days ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
WSC
2008
13 years 10 months ago
2008
This paper addresses the on-going work of integrating supply chain research into the graduate curriculum in the form of a Supply Chain Modeling course. This course integrates rese...