196 search results - page 16 / 40 » Canonizable Partial Order Generators |
AAAI
1997
13 years 10 months ago
1997
In order to generate plans for agents with multiple actuators or agent teams, we must be able to represent and plan using concurrent actions with interacting effects. Historically...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
DIM
2005
ACM
13 years 10 months ago
2005
ACM
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...
SAMOS
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
COORDINATION
2005
Springer
14 years 2 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...