1411 search results - page 31 / 283 » Interactive Coding for Interactive Proofs |
SRDS
1998
IEEE
14 years 3 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...
SIGGRAPH
1998
ACM
14 years 3 months ago
1998
ACM
During the last years the concept of multi-resolution modeling has gained special attention in many fields of computer graphics and geometric modeling. In this paper we generaliz...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
There are several kinds of non-invasive imaging methods that are used to collect data from the brain, e.g., EEG, MEG, PET, SPECT, fMRI, etc. It is difficult to get resolution of i...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
AOSE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...