5550 search results - page 1001 / 1110 » Different Approaches to Proof Systems |
214
click to vote
P2P
2006
IEEE
16 years 16 days ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
162
click to vote
ICPADS
2005
IEEE
16 years 3 days ago
2005
IEEE
As cluster systems become increasingly popular, more and more parallel applications require need not only computing power but also significant I/O performance. However, the I/O s...
157
click to vote
MOBIQUITOUS
2005
IEEE
16 years 3 days ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
192
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
181
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...