2632 search results - page 401 / 527 » Alternating Timed Automata |
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...
122
click to vote
JELIA
1998
Springer
15 years 6 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
127
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
Database integration of mining is becoming increasingly important with tile installation of larger and larger data warehouses built around relational database technology. Most of ...
109
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
102
Voted
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Star networks were proposedrecently as an attractive alternative to the well-known hypercube models for interconnection networks. Extensive research has been performed that shows ...