3515 search results - page 404 / 703 » On the semantics of Strategy Logic |
201
click to vote
FLOPS
2004
Springer
16 years 1 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
196
click to vote
PR
2006
15 years 7 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
240
click to vote
IJCAI
1993
15 years 9 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
237
click to vote
AMR
2007
Springer
16 years 1 months ago
2007
Springer
Smart photo sticking is a novel strategy to automatically arrange a collection of photos in a pleasant collage. The proposed approach improves previous solutions both considering a...
194
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...