2530 search results - page 201 / 506 » Dynamic topological logic |
153
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
174
click to vote
KI
1998
Springer
15 years 8 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
128
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
130
click to vote
LISP
2008
15 years 4 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
128
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...