7991 search results - page 1562 / 1599 » Using More Reasoning to Improve |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
101
click to vote
ATAL
2005
Springer
15 years 3 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...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Many sensor network applications require location awareness, but it is often too expensive to include a GPS receiver in a sensor network node. Hence, localization schemes for sens...
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...