3717 search results - page 417 / 744 » Architecture-Based Design of Computer Based Systems |
132
Voted
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
156
click to vote
WMRD
1990
15 years 9 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
157
click to vote
TSMC
2010
14 years 11 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
116
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
This work in progress reports a study of cross-cultural collaboration mediated by board-based collaborative systems. American-Chinese and American-American pairs performed collabo...
138
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...