7335 search results - page 903 / 1467 » Scene Based Reasoning |
197
click to vote
FOSSACS
2005
Springer
16 years 17 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
160
Voted
GI
2005
Springer
16 years 17 days ago
2005
Springer
: Voice user interfaces (VUIs) have become very common for telephone based applications, e.g. call centers and value-added services. Though there are advantages for further fields ...
177
click to vote
ICNC
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
195
click to vote
IDA
2005
Springer
16 years 17 days ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
186
click to vote
SAS
2005
Springer
16 years 16 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...