Sciweavers

1623 search results - page 94 / 325
» No Sorting
Sort
View
CADE
1994
Springer
15 years 8 months ago
A Mechanization of Strong Kleene Logic for Partial Functions
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
Manfred Kerber, Michael Kohlhase
ESEM
2008
ACM
15 years 6 months ago
Pair programming: what's in it for me?
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, or code. Prior research on pair programming has primari...
Andrew Begel, Nachiappan Nagappan
HCI
2007
15 years 5 months ago
Using Social Metadata in Email Triage: Lessons from the Field
Email archives are full of social information, including how messages are addressed and frequency of contact between senders and receivers. To study the use of this rich metadata ...
Danyel Fisher, A. J. Bernheim Brush, Bernie Hogan,...
PICS
1998
15 years 5 months ago
Quantifying Perceptual Image Quality
This paper describes a more efficient paired comparison method that reduces the number of trials necessary for converting a table of paired comparisons into scalar data. Instead o...
D. Amnon Silverstein, Joyce E. Farrell
CVIU
2008
113views more  CVIU 2008»
15 years 4 months ago
Indexing through laplacian spectra
With ever growing databases containing multimedia data, indexing has become a necessity to avoid a linear search. We propose a novel technique for indexing multimedia databases in...
M. Fatih Demirci, Reinier H. van Leuken, Remco C. ...