4451 search results - page 382 / 891 » Continuous model synthesis |
126
click to vote
BIOWIRE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
173
click to vote
ISIPTA
2005
IEEE
16 years 11 days ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
148
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
182
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
200
click to vote
IEEEAMS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...