1855 search results - page 270 / 371 » Composing model programs for analysis |
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a top-down word image generation model for holistic handwritten word recognition. To generate a word image, it uses likelihoods based, respectively, on a ling...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
104
click to vote
RTCSA
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...