Sciweavers

11580 search results - page 2004 / 2316
» Communication vs. Computation
Sort
View
COCO
2000
Springer
112views Algorithms» more  COCO 2000»
15 years 10 months ago
Combinatorial Interpretation of Kolmogorov Complexity
Kolmogorov’s very first paper on algorithmic information theory (Kolmogorov, Problemy peredachi infotmatsii 1(1) (1965), 3) was entitled “Three approaches to the definition ...
Andrei E. Romashchenko, Alexander Shen, Nikolai K....
CODES
1999
IEEE
15 years 10 months ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
HICSS
1999
IEEE
106views Biometrics» more  HICSS 1999»
15 years 10 months ago
Automating the Interoperation of Information Processing Tools
This paper describes an agent-based architecture designed to support the interoperation of distributed and disparate information processing tools and resources. This work is based...
Stephen Cranefield, Emanuela Moreale, Bryce McKinl...
UIST
1999
ACM
15 years 10 months ago
Sketching with Projective 2D Strokes
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
Osama Tolba, Julie Dorsey, Leonard McMillan
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 10 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
« Prev « First page 2004 / 2316 Last » Next »