Sciweavers

53 search results - page 9 / 11
» bc 2008
Sort
View
SYNTHESE
2008
71views more  SYNTHESE 2008»
13 years 10 months ago
Assessing theories, Bayes style
The problem addressed in this paper is "the main epistemic problem concerning science", viz. "the explication of how we compare and evaluate theories [. . .] in the ...
Franz Huber
ISCAS
2008
IEEE
123views Hardware» more  ISCAS 2008»
14 years 5 months ago
Design space exploration of low-phase-noise LC-VCO using multiple-divide technique
— This paper proposes a multiple-divide technique using by-2, by-3, and by-4 frequency dividers to realize a lower phase-noise LC-VCO, and explores the design space of low-phasen...
Shoichi Hara, Takeshi Ito, Kenichi Okada, Akira Ma...
TVLSI
2002
102views more  TVLSI 2002»
13 years 10 months ago
Algorithm level re-computing using implementation diversity: a register transfer level concurrent error detection technique
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
Ramesh Karri, Kaijie Wu
COLING
1990
14 years 1 days ago
Incremental Parsing and Reason Maintenance
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
Mats Wirén
IEICET
2008
56views more  IEICET 2008»
13 years 11 months ago
The Interaction of Art, Technology and Customers in Picture Making
Human interest in pictures dates back to 14,000 BC. Pictures can be drawn by hand or imaged by optical means. Over time pictures have changed from being rare and unique to ubiquit...
John J. McCann, Yoichi Miyake