4099 search results - page 664 / 820 » A Framework for Interactive Proof |
259
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...
149
click to vote
ICS
2001
Tsinghua U.
15 years 9 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
145
click to vote
SCA
2007
15 years 6 months ago
2007
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...
136
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Traditional workload management methods mainly focus on the current system status while information about the interaction between queued and running transactions is largely ignore...
150
click to vote
DGO
2007
15 years 5 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...