1113 search results - page 111 / 223 » Counter Systems for Data Logics |
155
click to vote
DOLAP
2008
ACM
15 years 6 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
123
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Increasing complexity of the functionalities and the resultant growth in number of gates integrated in a chip coupled with shrinking geometries and short cycle time requirements br...
144
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
147
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
128
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...