7 search results - page 1 / 2 » A Simplified Theory of Tense Representations and Constraints... |
ACL
1990
14 years 10 months ago
1990
This paper proposes a set of representations for tenses and a set of constraints on how they can be combined in adjunct clauses. The semantics we propose explains the possible mea...
99
Voted
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
179
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
90
Voted
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...