845 search results - page 49 / 169 » Connecting Many-Sorted Theories |
FUIN
2006
14 years 12 months ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
102
click to vote
COSIT
2003
Springer
15 years 5 months ago
2003
Springer
Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regio...
104
click to vote
ARGMAS
2005
Springer
15 years 1 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
106
click to vote
NIPS
2004
15 years 1 months ago
2004
Many works have shown that strong connections relate learning from examples to regularization techniques for ill-posed inverse problems. Nevertheless by now there was no formal ev...
ICIS
1997
15 years 1 months ago
1997
This paper extends the resource-based view of the firm to a less developed country situation by challenging three boundary conditions associated with the theory: first, the theory...