2488 search results - page 184 / 498 » An improvement in formal verification |
WSC
2007
15 years 3 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
CLIMA
2007
15 years 2 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
107
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
The state of the art in visual object retrieval from large databases is achieved by systems that are inspired by text retrieval. A key component of these approaches is that local ...
129
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
67
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...