10289 search results - page 156 / 2058 » Standard bases in K |
125
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Inter-company data interchange within a specific industrial sector is necessarily based on standard document formats, structures, and transmission protocols. In this perspective, t...
190
click to vote
WM
2003
15 years 7 months ago
2003
: Case-based diagnosis handling multiple faults is still a challenging task. In this paper we present methods for handling multiple faults, embedded in the standard CBR cycle. The ...
141
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
A new lossy-to-lossless quality-progressive method for image coding is presented. This method is based on binary tree decomposition and context-based arithmetic coding. Experiment...
101
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents a method towards automatic structural synthesis of analog multiplier based on a hierarchilogy “super-topology”, which is abstracted from the most standard ...
168
click to vote
FORMATS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...