Sciweavers

2608 search results - page 251 / 522
» Subjects, Models, Languages, Transformations
Sort
View
ICDT
2010
ACM
259views Database» more  ICDT 2010»
16 years 4 months ago
Forward-XPath and extended register automata on data-trees
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
Diego Figueira
AOSD
2010
ACM
15 years 11 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts
ATAL
2008
Springer
15 years 8 months ago
Politeness and alignment in dialogues with a virtual guide
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
Markus de Jong, Mariët Theune, Dennis Hofs
NMR
2004
Springer
15 years 12 months ago
Belief dynamics and defeasible argumentation in rational agents
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
Marcelo A. Falappa, Alejandro Javier García...
DAGSTUHL
1996
15 years 8 months ago
A Self-Applicable Supercompiler
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin ...