1127 search results - page 148 / 226 » The XIS Generative Programming Techniques |
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
In this paper we explore object recognition in clutter. We test our object recognition techniques on Gimpy and EZGimpy, examples of visual CAPTCHAs. A CAPTCHA ("Completely Au...
DAC
2007
ACM
16 years 6 days ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
CC
2010
Springer
15 years 6 months ago
2010
Springer
Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatica...
102
click to vote
CP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...