Sciweavers

676 search results - page 68 / 136
» A theory of aspects
Sort
View
65
Voted
COLING
1990
15 years 1 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
73
Voted
LFP
1990
96views more  LFP 1990»
15 years 1 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
98
Voted
ATAL
2010
Springer
15 years 1 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
122
Voted
DSP
2007
15 years 16 days 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 16 days 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