Sciweavers

3307 search results - page 240 / 662
» The meaning of concurrent programs
Sort
View
IJAR
2007
96views more  IJAR 2007»
15 years 6 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
AAAI
2012
13 years 9 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
JSAC
2006
140views more  JSAC 2006»
15 years 6 months ago
Backup reprovisioning to remedy the effect of multiple link failures in WDM mesh networks
As networks grow in size and complexity, both the probability and the impact of failures increase. The pre-allocated backup bandwidth, which has been widely investigated in the lit...
Jing Zhang, Keyao Zhu, Biswanath Mukherjee
CEC
2007
IEEE
16 years 29 days ago
Success effort and other statistics for performance comparisons in genetic programming
— This paper looks at the statistics used to compare variations to the genetic programming method. Previous work in this area has been dominated by the use of mean best-of-run ...
Matthew Walker, Howard Edwards, Chris H. Messom
EUROGP
2005
Springer
122views Optimization» more  EUROGP 2005»
16 years 4 days ago
Evolution of Robot Controller Using Cartesian Genetic Programming
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...
Simon Harding, Julian F. Miller