2638 search results - page 448 / 528 » Frameworks for Reasoning about Agent Based Systems |
171
click to vote
INFSOF
2002
15 years 6 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
158
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
200
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
159
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Visual tracking is one of the key tasks in computer vision. The particle filter algorithm has been extensively used to tackle this problem due to its flexibility. However the conv...
184
click to vote
TSC
2010
15 years 4 months ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...