5550 search results - page 857 / 1110 » Different Approaches to Proof Systems |
168
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Some recent studies have shown that cooperative cache can improve the system performance in wireless P2P networks such as ad hoc networks and mesh networks. However, all these stu...
169
click to vote
ICNP
2006
IEEE
16 years 24 days ago
2006
IEEE
— The Internet is a complex structure arising from the interconnection of numerous autonomous systems (AS), each exercising its own administrative policies to reflect the commer...
177
click to vote
JCDL
2005
ACM
16 years 10 days ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
177
click to vote
CICLING
2003
Springer
16 years 2 hour ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
199
click to vote
WSC
2008
15 years 9 months ago
2008
Very few crowds consist of individuals who are exactly the same. Defining variables, such as age, and how they affect an individual's movement, could increase realism in simu...