12742 search results - page 2459 / 2549 » On canonical number systems |
166
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
178
click to vote
ESA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
190
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
141
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
149
click to vote
MOBICOM
2000
ACM
15 years 10 months ago
2000
ACM
Compressing protocol headers has traditionally been an attractive way of conserving bandwidth over low-speed links, including those in wireless systems. However, despite the growt...