Sciweavers

1416 search results - page 107 / 284
» An Exact Interpretation of While
Sort
View
61
Voted
ENTCS
2007
116views more  ENTCS 2007»
14 years 10 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
MP
2006
97views more  MP 2006»
14 years 10 months ago
Subdifferential representations of risk measures
Measures of risk appear in two categories: Risk capital measures serve to determine the necessary amount of risk capital in order to avoid ruin if the outcomes of an economic acti...
Georg Ch. Pflug
75
Voted
AIR
2004
132views more  AIR 2004»
14 years 10 months ago
Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts
This paper presents an alternative to the `speech acts with STRIPS' approach to implementing dialogue: a fully implemented AI planner which generates and analyses the semantic...
Debora Field, Allan Ramsay
ALIFE
2004
14 years 10 months ago
Evolution of Robustness in Digital Organisms
We study the evolution of robustness in digital organisms adapting to a high mutation rate. As genomes adjust to the harsh mutational environment, the mean effect of single mutatio...
Jeffrey A. Edlund, Christoph Adami
93
Voted
APIN
1999
143views more  APIN 1999»
14 years 9 months ago
Solving Electrical Distribution Problems Using Hybrid Evolutionary Data Analysis Techniques
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
Oscar Cordón, Francisco Herrera, Luciano S&...