Sciweavers

158 search results - page 11 / 32
» A Principled Foundation for LCS
Sort
View
76
Voted
HICSS
2006
IEEE
99views Biometrics» more  HICSS 2006»
15 years 6 months ago
Challenges of Treating Information as a Public Resource: The Case of Parcel Data
Land parcels are the foundation for many aspects of public and community life. This report presents the findings of a study of information about land parcels in New York State. It...
Sharon S. Dawes, Meghan E. Cook, Natalie Helbig
95
Voted
VTS
2003
IEEE
87views Hardware» more  VTS 2003»
15 years 5 months ago
An Analog Checker with Dynamically Adjustable Error Threshold for Fully Differential Circuits
We present a novel analog checker that adjusts dynamically the error threshold to the magnitude of its input signals. We demonstrate that this property is crucial for accurate con...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
90
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
74
Voted
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
15 years 4 months ago
Providing intellectual focus to CS1/CS2
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Davi...
89
Voted
CSFW
1996
IEEE
15 years 4 months ago
An Immunological Approach to Change Detection: Theoretical Results
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
Patrik D'haeseleer