Sciweavers

1852 search results - page 25 / 371
» From Bi-ideals to Periodicity
Sort
View
ITA
2000
13 years 7 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
14 years 1 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»
14 years 24 days 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
14 years 9 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
12 years 7 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,...