2364 search results - page 419 / 473 » An Engine for Computing Well-Founded Models |
133
click to vote
MVA
2007
15 years 5 months ago
2007
The problem of reconstructing the 3D face using one image captured from a viewpoint arises in many fields of science and engineering, this paper propose the novel approach for rec...
146
Voted
RIAO
2007
15 years 5 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...
114
click to vote
PST
2004
15 years 5 months ago
2004
We examine the problem of determining a user's value for his/her private information. Web businesses often offer rewards, such as discounts, free downloads and website persona...
132
click to vote
WOA
2000
15 years 5 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
125
click to vote
CN
2007
15 years 3 months ago
2007
Web masters usually place certain web pages such as home pages and index pages in front of others. Under such a design, it is necessary to go through some pages to reach the desti...