5401 search results - page 432 / 1081 » Using Versions in GIS |
196
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
192
click to vote
CLIMA
2007
15 years 8 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
184
click to vote
IJCAI
2007
15 years 8 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
188
click to vote
MVA
2007
15 years 8 months ago
2007
In many real-world applications such as face recognition and mobile robotics, we need to use an adaptive version of feature extraction techniques. In this paper, we introduce an a...
206
click to vote
AIA
2006
15 years 8 months ago
2006
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....