689 search results - page 53 / 138 » Focusing in Linear Meta-logic |
120
click to vote
HICSS
2009
IEEE
15 years 11 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...
153
click to vote
MFCS
2007
Springer
15 years 10 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...
163
click to vote
WEBI
2005
Springer
15 years 9 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...
123
click to vote
CONCUR
1998
Springer
15 years 8 months 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...
138
click to vote
WSC
2008
15 years 6 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...