797 search results - page 143 / 160 » Observing Success in the Pi-Calculus |
IADIS
2004
15 years 18 days ago
2004
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...
ICWS
2004
IEEE
15 years 18 days ago
2004
IEEE
We present an approach for converged communication services over IP, based on the concept of WSIP (Web Service SIP). In our approach, each WSIP node is both a SIP endpoint that co...
DAGSTUHL
2003
15 years 18 days ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
108
Voted
NIPS
2004
15 years 17 days ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...
NDQA
2003
15 years 17 days ago
2003
Early TREC-style Question Answering Systems were characterized by the following features: (a) the answer of the question was known to be included in a given local corpus, (b) the ...