289 search results - page 58 / 58 » The logic of bunched implications |
IOR
2006
13 years 6 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
JKM
2007
13 years 6 months ago
2007
Purpose – The purpose of this paper is to study the influence of organizational environment on the selection of knowledge management strategies. The paper focuses particularly ...
AC
1998
Springer
13 years 6 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
DLOG
2009
13 years 4 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...