16994 search results - page 319 / 3399 » Improving the Performance of maxRPC |
187
click to vote
SAFECOMP
2007
Springer
16 years 26 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
173
click to vote
SARA
2007
Springer
16 years 26 days ago
2007
Springer
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
165
click to vote
CGI
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents a fast and reliable method to trim non-solution regions in an interval ray tracing process. The “trimming algorithm” uses interval analysis to perform rejec...
166
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...
207
click to vote
ICAT
2006
IEEE
16 years 24 days ago
2006
IEEE
A real-time camera registration algorithm using nature features for augmented reality applications is presented. The system uses a single camera for visual tracking of the nature ...