Sciweavers

1852 search results - page 25 / 371
» From Bi-ideals to Periodicity
Sort
View
ITA
2000
14 years 11 months ago
On a paper by Castelli, Mignosi, Restivo
Fine and Wilf's theorem has recently been extended to words having three periods. Following the method of the authors we extend it to an arbitrary number of periods and deduce...
Jacques Justin
IPMI
2005
Springer
15 years 5 months ago
Linearization of Mammograms Using Parameters Derived from Noise Characteristics
A method is proposed for converting digitized mammograms to a normalized representation, in which pixel values are linearly related to the logarithm of x-ray exposure. This method ...
Nico Karssemeijer, Peter R. Snoeren, Wei Zhang
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 5 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
CVPR
2007
IEEE
16 years 1 months ago
Inferring Temporal Order of Images From 3D Structure
In this paper, we describe a technique to temporally sort a collection of photos that span many years. By reasoning about persistence of visible structures, we show how this sorti...
Grant Schindler, Frank Dellaert, Sing Bing Kang
DSN
2011
IEEE
13 years 11 months ago
Analysis of security data from a large computing organization
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...
Aashish Sharma, Zbigniew Kalbarczyk, James Barlow,...