1301 search results - page 204 / 261 » Specifications via Realizability |
LISA
2000
13 years 9 months ago
2000
Activities in complex networks are often both too important to ignore and too tedious to watch. We created a network monitoring system, Peep, that replaces visual monitoring with ...
IJCAI
1997
13 years 9 months ago
1997
Marco Gori Dipartimento di Ingegneria deU'Informazione Universita di Siena Via Roma 56 53100 Siena, Italy Alessandro Sperduti Dipartimento di Informatica Universita di Pisa C...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...
CLEF
2010
Springer
13 years 8 months ago
2010
Springer
This paper describes the participation of Idiap-MULTI to the Robot Vision Task at imageCLEF 2010. Our approach was based on a discriminative classification algorithm using multiple...
AUTOMATICA
2010
13 years 7 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...