Sciweavers

4099 search results - page 197 / 820
» First Class Patterns
Sort
View
AAAI
2010
15 years 3 months ago
Good Rationalizations of Voting Rules
The concept of distance rationalizability allows one to define new voting rules or "rationalize" existing ones via a consensus class of elections and a distance. A conse...
Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko
OOPSLA
2004
Springer
15 years 7 months ago
Finding bugs is easy
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
David Hovemeyer, William Pugh
106
Voted
CGF
2008
121views more  CGF 2008»
15 years 2 months ago
Knitting a 3D Model
A knitted animal is made of a closed surface consisting of several knitted patches knitted out of yarn and stuffed with cotton (Fig. 1). We introduce a system to create a knitting...
Yuki Igarashi, Takeo Igarashi, Hiromasa Suzuki
IPM
2008
120views more  IPM 2008»
15 years 2 months ago
An information-pattern-based approach to novelty detection
ct 9 In this paper, a new novelty detection approach based on the identification of sentence level information patterns is 10 proposed. First, ``novelty'' is redefined ba...
Xiaoyan Li, W. Bruce Croft
ZUM
1992
Springer
15 years 6 months ago
Specification in Fresco
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
Alan Wills