Sciweavers

158 search results - page 11 / 32
» A Principled Foundation for LCS
Sort
View
HICSS
2006
IEEE
99views Biometrics» more  HICSS 2006»
14 years 3 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
VTS
2003
IEEE
87views Hardware» more  VTS 2003»
14 years 3 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
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
14 years 3 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
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
14 years 2 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...
CSFW
1996
IEEE
14 years 1 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