Sciweavers

1270 search results - page 130 / 254
» IF Validation Environment Tutorial
Sort
View
ICC
2007
IEEE
120views Communications» more  ICC 2007»
15 years 10 months ago
Empirical Study on Inferring BGP Routing Instability and its Location Based on Single Point Observation
As the Internet has become a communication infrastructure, inter-domain routing instabilities have become prone to serious problems. Some studies have proposed methods that infer i...
Tomohiko Ogishi, Yuichiro Hei, Shigehiro Ano, Toru...
CCGRID
2004
IEEE
15 years 10 months ago
An interactive Grid for non-invasive vascular reconstruction
We conduct computer simulation experiments in pre-operative planning of vascular reconstruction with a physician in the experimental loop. We constructed a problem-solving environ...
Peter M. A. Sloot, Alfredo Tirado-Ramos, Alfons G....
CLEF
2004
Springer
15 years 10 months ago
UB at CLEF2004: Cross Language Information Retrieval Using Statistical Language Models
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...
Miguel E. Ruiz, Munirathnam Srikanth
ATAL
2006
Springer
15 years 10 months ago
On the response of EMT-based control to interacting targets and models
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
Zinovi Rabinovich, Jeffrey S. Rosenschein
FAABS
2004
Springer
15 years 10 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio