11573 search results - page 2025 / 2315 » Designing Relational Databases |
149
Voted
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
141
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
— IP-based solutions to accommodate mobile hosts within existing internetworks do not address the distinctive features of wireless mobile computing. IP-based transport protocols ...
121
click to vote
NGITS
1995
Springer
15 years 8 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
170
click to vote
RTA
1995
Springer
15 years 8 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
138
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...