1240 search results - page 12 / 248 » Composition with Target Constraints |
CANDC
2008
ACM
14 years 9 months ago
2008
ACM
Background: The Z-curve is a three dimensional representation of DNA sequences proposed over a decade ago and has been extensively applied to sequence segmentation, horizontal gen...
FIW
2003
14 years 11 months ago
2003
SERL is a language and framework for managing the triggering and execution of services in a single-user, single-network-component (SUSC) environment. We propose enhancements to SER...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
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...