6829 search results - page 102 / 1366 » Quantitative Generalizations of Languages |
159
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
116
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
112
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
134
click to vote
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
114
click to vote
WSC
1998
15 years 5 months ago
1998
The word "scalability" is used in a variety of ways by different simulation communities. This paper describes some of the more common usages and presents a general, unif...