382 search results - page 43 / 77 » Generalized Multitext Grammars |
127
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
117
Voted
AI
2005
Springer
15 years 1 months ago
2005
Springer
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
140
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
116
click to vote
LISA
2003
15 years 3 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
85
Voted
DAC
2004
ACM
16 years 2 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...