236 search results - page 16 / 48 » Automated Generation of Interesting Theorems |
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
While camcorders have become a commodity home appliance, few watch the recorded videos or share them with friends and relatives due to the difficulty of turning the raw footage in...
EH
2005
IEEE
14 years 2 months ago
2005
IEEE
Evolutionary Design has demonstrated great potential to automatically generate a wide array of novel, interesting, and human-competitive designs. Few of these evolved designs, how...
VISAPP
2008
13 years 10 months ago
2008
The permanent presence of underwater cameras on cabled observatories, such as the Victoria Experimental Network Under the Sea (VENUS) and Eye-In-The-Sea (EITS) on Monterey Accelera...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
ISMB
1998
13 years 10 months ago
1998
The avMlability of large EST(Expressed Sequence Tag)databases has led to a revolution in the waynew genes are cloned. Difficulties arise, however,due to high error rates and redun...