Sciweavers

676 search results - page 68 / 136
» A theory of aspects
Sort
View
COLING
1990
15 years 7 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo
LFP
1990
96views more  LFP 1990»
15 years 7 months ago
Comprehending Monads
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...
Philip Wadler
ATAL
2010
Springer
15 years 7 months ago
Strategic planning for probabilistic games with incomplete information
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
Henning Schnoor
DSP
2007
15 years 6 months ago
Knowledge based adaptive processing for ground moving target indication
This paper presents a preliminary knowledge based approach to Space-Time Adaptive Processing (STAP) for ground moving target indication from an airborne platform. The KB-processor...
Raviraj Adve, Todd Hale, Michael C. Wicks
JMLR
2006
78views more  JMLR 2006»
15 years 6 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid