Sciweavers

1126 search results - page 59 / 226
» Modularity and the Rule of Adaptation
Sort
View
97
Voted
KI
2009
Springer
15 years 10 months ago
Hybrid Control for Embodied Agents Applications
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
Jan Miksatko, Michael Kipp
156
Voted
LFCS
2009
Springer
15 years 10 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky
137
Voted
TLCA
2007
Springer
15 years 9 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
105
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Flexible Interconnection of Graph Transformation Modules
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
Gregor Engels, Reiko Heckel, Alexey Cherchago
192
Voted
MOBICOM
1997
ACM
15 years 7 months ago
A Protection Scheme for Mobile Agents on Java
: This paper describes a protection scheme for mobile agents implemented on a Java environment. In this scheme, access to objects is controlled by means of software capabilities th...
Daniel Hagimont, Leila Ismail