10916 search results - page 356 / 2184 » On Constructive Connectives and Systems |
197
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
185
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
We consider a class of nonlinear control systems for which stabilizing feedbacks and corresponding Lyapunov functions for the closed loop systems are available. In the presence of...
167
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
158
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
202
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...