1581 search results - page 267 / 317 » Mechanizing Inductive Reasoning |
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
FIS
2009
14 years 7 months ago
2009
Abstract. Advertising on the World Wide Web is based around automatically matching web pages with appropriate advertisements, in the form of banner ads, interactive adverts, or tex...
CACM
2010
14 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
INFORMATICASI
2010
14 years 7 months ago
2010
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
109
click to vote
EMISAIJ
2010
14 years 4 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...