4737 search results - page 785 / 948 » The LOGIC negotiation model |
194
click to vote
AOSE
2005
Springer
16 years 18 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
185
click to vote
BIRTHDAY
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
176
click to vote
GRAPHITE
2004
ACM
16 years 15 days ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
171
Voted
ISSTA
2004
ACM
16 years 15 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
169
click to vote
SAT
2004
Springer
16 years 12 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...