2881 search results - page 331 / 577 » Model Checking for Programming Languages using Verisoft |
219
click to vote
CLIMA
2006
15 years 8 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
162
click to vote
ICDAR
2005
IEEE
2005
IEEE
A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming
16 years 6 days ago
In this paper, an online handwritten Chinese character segmentation method is proposed. It is based on a dynamic programming algorithm, which uses geometrical features extracted f...
156
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
144
click to vote
IWPSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
210
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...