6931 search results - page 1116 / 1387 » Context and Design Agents |
180
Voted
MOBICOM
2003
ACM
16 years 1 days ago
2003
ACM
Routers are expected to play an important role in the IPbased wireless data network. Although a substantial number of techniques have been proposed to improve wireless network per...
165
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
187
click to vote
JETAI
2007
15 years 6 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
175
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
The Web graph is a giant social network whose properties have been measured and modeled extensively in recent years. Most such studies concentrate on the graph structure alone, an...
351
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....