16216 search results - page 315 / 3244 » Effective Modeling with Constraints |
199
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
201
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
1 Soft errors induced by radiation are an increasing problem in the microelectronic field. Although traditional models estimate the reliability of memories suffering Single Event U...
172
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Theoretical analysis of the Web graph is often used to improve the efficiency of search engines. The PageRank algorithm, proposed by [5], is used by the Google search engine [4] t...
167
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Collaboration technologies often provide benefits to teams working together to achieve a common goal. Such technologies may be abandoned, however, if users are dissatisfied with...
160
click to vote
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
16 years 28 days ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...