2663 search results - page 255 / 533 » How to Choose a Timing Model |
109
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
137
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
156
Voted
WSC
2007
15 years 6 months ago
2007
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
132
click to vote
DIALM
2008
ACM
15 years 6 months ago
2008
ACM
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...
146
click to vote
AIIDE
2009
15 years 5 months ago
2009
Although in theory opponent modeling can be useful in any adversarial domain, in practice it is both difficult to do accurately and to use effectively to improve game play. In thi...