7991 search results - page 228 / 1599 » Using More Reasoning to Improve |
179
click to vote
TCS
1998
15 years 6 months ago
1998
Results on random oracles typically involve showing that a class {X : P(X)} has Lebesgue measure one, i.e., that some property P(X) holds for “almost every X.” A potentially m...
183
click to vote
IJIRR
2011
15 years 1 months ago
2011
— recently, search engines become more critical for finding information over the World Wide Web where web content growing fast, the user's satisfaction of search engine resu...
162
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This study explores whether certain contribution incentives for online user-generated content can undermine or enhance contributor’s credibility. Through an online experiment, w...
198
click to vote
TOG
2012
13 years 9 months ago
2012
Compositing is one of the most commonly performed operations in computer graphics. A realistic composite requires adjusting the appearance of the foreground and background so that...
170
click to vote
ETFA
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...