Sciweavers

1270 search results - page 130 / 254
» IF Validation Environment Tutorial
Sort
View
ICC
2007
IEEE
120views Communications» more  ICC 2007»
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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