315 search results - page 28 / 63 » A generic type system for the Pi-calculus |
ROBOCUP
2001
Springer
14 years 7 days ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...
IJCSA
2006
13 years 7 months ago
2006
: In this paper we propose two generic mechanisms implemented in a cadastre internet information system. The first one is the list of last queries submitted by a given user and the...
TREC
2001
13 years 9 months ago
2001
We participated to the TREC-X QA main task and list task with a new system named QUANTUM, which analyzes questions with shallow parsing techniques and regular expressions. Instead...