3552 search results - page 661 / 711 » Proof theory in the abstract |
CORR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
112
Voted
SIAMCOMP
2000
15 years 1 months ago
2000
Abstract. We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and parti...
114
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
IJMMS
1998
15 years 1 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
105
click to vote
CSCW
1999
ACM
15 years 1 months ago
1999
ACM
No work is inherently either visible or invisible. We always "see" work through a selection of indicators: straining muscles, finished artifacts, a changed state of affai...