2611 search results - page 350 / 523 » A Logic for Concepts and Similarity |
183
click to vote
LPAR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
178
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Recent advances in FPGA technologies allow to configure the RAM-based FPGA devices in a reduced time as an effective support for real-time applications. The physical dimensions of ...
170
click to vote
WWCA
1998
Springer
15 years 10 months ago
1998
Springer
In rapidly growing open environments such as the Internet, users experience information starvation in the midst of data overload, due to di culties similar to nding the needle in a...
167
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
224
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a novel type of dynamically reconfigurable System-on-Chip architecture, the Gannet service-based architecture. This novel concept addresses the issue of systemlevel rec...