2139 search results - page 290 / 428 » Connecting language to the world |
CSL
2009
Springer
15 years 5 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
104
click to vote
ICMCS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose an effective coarse-to-fine algorithm to detect text in video. Firstly, in coarse-detection section, stroke filter is employed to detect all candidate st...
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
CSL
2007
Springer
15 years 5 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
POLICY
2007
Springer
15 years 5 months ago
2007
Springer
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...