5595 search results - page 839 / 1119 » Visualizing the shadows of Information |
166
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
170
Voted
UIST
1995
ACM
15 years 11 months ago
1995
ACM
SpeechSkimmer is an interactive system for quickly browsing and finding information in speech recordings. Skimming speech recordings is much more difficult than visually scanning ...
243
Voted
WETICE
1995
IEEE
15 years 11 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
174
Voted
DAC
1991
ACM
15 years 11 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
193
click to vote
WSC
2007
15 years 9 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...