5216 search results - page 538 / 1044 » Planning as Model Checking |
176
click to vote
ISQED
2002
IEEE
15 years 12 months ago
2002
IEEE
As the process technology advances into the deep submicron era, interconnect plays a dominant role in determining circuit performance. Buffer insertion/sizing and wire sizing are ...
174
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
159
click to vote
ROBOCUP
1997
Springer
15 years 11 months ago
1997
Springer
RoboCup Challenge offers a set of challenges for intelligent agent researchers using a friendly competition in a dynamic, real-time, multiagent domain. While RoboCup in general en...
154
click to vote
KDD
1994
ACM
15 years 11 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
176
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...