4166 search results - page 608 / 834 » Automating the constraining process |
121
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
146
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a bio-inspired unified model to improve the recognition accuracy of character recognition problems for CAPTCHA (Completely Automated Public Turing Test t...
118
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
126
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an analytical method to estimate the absolute registration error bounds if two surfaces were to be aligned using the ICP (Iterative Closest Point) algorithm. The estima...
125
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...