1042 search results - page 25 / 209 » Representing real numbers in a generalized numeration system |
ECRTS
2010
IEEE
15 years 25 days ago
2010
IEEE
For many control systems, control performance is strongly dependent on delay variations of the control tasks. Such variations can come from a number of sources including task preem...
101
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
A novel approach for human silhouette recognition is presented. The method is based on Fourier descriptors. We made an analysis of which and how many descriptors are enough to hav...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Set intersection is a fundamental operation in information retrieval and database systems. This paper introduces linear space data structures to represent sets such that their int...