133 search results - page 6 / 27 » Proving Properties for Behavioural Specifications with Term ... |
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we address the problem of extracting important (and unimportant) discourse patterns from call center conversations. Call centers provide dialog based calling-in supp...
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Statistical background modelling and subtraction has proved to be a popular and effective class of algorithms for segmenting independently moving foreground objects out from a sta...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
CLIMA
2004
14 years 10 months ago
2004
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...