2314 search results - page 140 / 463 » Monoids over domains |
117
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
107
click to vote
CN
2006
15 years 1 months ago
2006
Abstract. Active Network nodes are increasingly being used for nontrivial processing of data streams. These complex network applications typically benefit from protection between t...
139
click to vote
NGC
2006
Springer
15 years 1 months ago
2006
Springer
Analogy is a powerful boundary-transcending process that exploits a conceptual system's ability to perform controlled generalization in one domain and re-specialization into ...
76
Voted
TGIS
2008
15 years 1 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
77
Voted
TSP
2008
15 years 1 months ago
2008
Over the past several years, there has been a renewed interest in complex orthogonal designs for their application in space-time block coding. Motivated by the success of this app...