Sciweavers

6315 search results - page 405 / 1263
» Approximating Solution Structure
Sort
View
AAAI
2008
15 years 9 months ago
Factored Models for Probabilistic Modal Logic
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
Afsaneh Shirazi, Eyal Amir
CAISE
2005
Springer
16 years 13 days ago
A Model Proposal of the Interoperability Problem
. This paper aims at proposing a global view of the interoperability problem, independently of any domain. We first describe explicitly the problem, and the context in which it app...
Vincent Rosener, Yannick Naudet, Thibaud Latour
CCE
2007
15 years 8 months ago
An Approach for Model based Requirement Engineering of Participative Engineering Methodology
: In the context of the MAPPER project, the paper presents an approach for model based methodology engineering with the mission of supporting the creation and utilisation of a holi...
Svein G. Johnsen, Rolf Kenneth Rolfsen, Hilda Tell...
ICCAD
1998
IEEE
81views Hardware» more  ICCAD 1998»
15 years 11 months ago
A simultaneous routing tree construction and fanout optimization algorithm
- This paper presents an optimal algorithm for solving the problem of simultaneous fanout optimization and routing tree construction for an ordered set of critical sinks. The algor...
Amir H. Salek, Jinan Lou, Massoud Pedram
AMC
2010
69views more  AMC 2010»
15 years 7 months ago
The Leitmann-Schmitendorf advertising game with n players and time discounting
The extension of the Leitmann-Schmitendorf advertising game to n players and positive time discounting is investigated. We show that the strong time consistency of the open-loop N...
Davide Dragone, Luca Lambertini, Arsen Palestini