Sciweavers

2373 search results - page 103 / 475
» On the Theory of Structural Subtyping
Sort
View
CICLING
2008
Springer
15 years 8 months ago
Deep Lexical Semantics
In the project we describe, we have taken a basic core of about 5000 synsets in WordNet that are the most frequently used, and we have categorized these into sixteen broad categori...
Jerry R. Hobbs
SODA
2007
ACM
76views Algorithms» more  SODA 2007»
15 years 8 months ago
An unbiased pointing operator for unlabeled structures, with applications to counting and sampling
We introduce a general method to count and randomly sample unlabeled combinatorial structures. The approach is based on pointing unlabeled structures in an “unbiased” way, i.e...
Manuel Bodirsky, Éric Fusy, Mihyun Kang, St...
ATAL
2005
Springer
16 years 1 days ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
ECIS
2003
15 years 7 months ago
Critical realism: a way forward in IS research
Although different strands of “post-approaches” and “post-theories”, for example, grounded theory and structuration theory, have gained popularity in Information Systems (...
Sven A. Carlsson
IANDC
2010
125views more  IANDC 2010»
15 years 3 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg