Sciweavers

5623 search results - page 893 / 1125
» Incremental Mechanism Design
Sort
View
ATAL
2009
Springer
15 years 11 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
KDD
2009
ACM
172views Data Mining» more  KDD 2009»
15 years 11 months ago
Learning dynamic temporal graphs for oil-production equipment monitoring system
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
Yan Liu, Jayant R. Kalagnanam, Oivind Johnsen
AIME
2001
Springer
15 years 11 months ago
NasoNet, Joining Bayesian Networks and Time to Model Nasopharyngeal Cancer Spread
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
Severino F. Galán, Francisco Aguado, Franci...
ICSE
2001
IEEE-ACM
15 years 11 months ago
Comparing Frameworks and Layered Refinement
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
Richard Cardone, Calvin Lin
168
Voted
ISRR
2001
Springer
98views Robotics» more  ISRR 2001»
15 years 11 months ago
Stride Period Adaptation for a Biomimetic Running Hexapod
We demonstrate an adaptation strategy for adjusting the stride period in a hexapedal running robot. The robot is inspired by discoveries about the self-stabilizing properties of i...
Jonathan K. Karpick, Jorge G. Cham, Jonathan E. Cl...