Sciweavers

1404 search results - page 111 / 281
» Dynamic Scale-Space Theories
Sort
View
CCE
2004
15 years 4 months ago
On the use of reduced order models in bifurcation analysis of distributed parameter systems
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
Yi Liu, Elling W. Jacobsen
169
Voted
CADE
2007
Springer
16 years 4 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
138
Voted
ACMICEC
2007
ACM
225views ECommerce» more  ACMICEC 2007»
15 years 8 months ago
The game of scale: decision making with economies of scale
While diffusion of innovation topics in economics and majority games in game theory have been widely studied, the impact of economy-of-scale effects in aggregated decision making ...
Christopher J. Hazard, Peter R. Wurman
117
Voted
JOLLI
2002
74views more  JOLLI 2002»
15 years 3 months ago
Referent Systems and Relational Grammar
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
Marcus Kracht
RTS
2002
177views more  RTS 2002»
15 years 3 months ago
Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
Chenyang Lu, John A. Stankovic, Sang Hyuk Son, Gan...