8874 search results - page 1655 / 1775 » A New Implementation of Automath |
167
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
183
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
126
click to vote
ACMMSP
2004
ACM
15 years 9 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
134
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
Academic conferences provide a social space for people to present their work, learn about others’ work, and interact informally with one another. However, opportunities for inte...
144
click to vote
DMSN
2004
ACM
15 years 9 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...