981 search results - page 22 / 197 » Negation in Spatial Reasoning |
LPAR
2005
Springer
14 years 28 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
BSN
2006
IEEE
14 years 1 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
IEAAIE
2003
Springer
14 years 19 days ago
2003
Springer
AUSAI
1997
Springer
13 years 11 months ago
1997
Springer
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...
KI
1997
Springer
13 years 11 months ago
1997
Springer
