5550 search results - page 852 / 1110 » Different Approaches to Proof Systems |
192
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...
183
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
There are two major approaches to activity coordination in multiagent systems. First, by endowing the agents with the capability to jointly plan, that is, to jointly generate hypot...
212
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
190
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The success and popularity of social network systems, such as del.icio.us, Facebook, MySpace, and YouTube, have generated many interesting and challenging problems to the research...
212
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a transparent self-configuring architecture for automatic scaling with temperature awareness in the database tier of a dynamic content web server. We use a ...