472 search results - page 51 / 95 » Limiting Negations in Formulas |
TC
2002
13 years 10 months ago
2002
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
JITT
2011
13 years 5 months ago
2011
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Vector quantization (VQ) is an efficient coding algorithm due to its fast decoding efficiency. Indices of VQ will be lost during the transmission because of the signal interferenc...
ASE
2005
13 years 10 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
ECIS
2000
13 years 11 months ago
2000
- The paper discusses the role of multimedia case studies in management education basing on direct experiences derived from an on going E.U. project. Literature has analysed in dep...