4066 search results - page 94 / 814 » Almost Complete Sets |
151
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
146
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
176
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper describes the features and design methodology of MIDA, a MPEG1 integrated audio decoder. MIDA has been almost completely designed using automatic synthesis of VHDL desc...
154
click to vote
WEBNET
1997
15 years 7 months ago
1997
In an effort to enlarge moral reference communities to include netizens of the world, the author constructed a web application called the Interactive Computer Ethics Explorer (ICE...
135
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper describes, compares, and evaluates three different approaches for learning a semantic classification of library titles: 1) syntactically condensed titles, 2) complete t...