506 search results - page 3 / 102 » Contracts as Pairs of Projections |
ACL
2010
13 years 4 months ago
2010
In this paper we describe an intuitionistic method for dependency parsing, where a classifier is used to determine whether a pair of words forms a dependency edge. And we also pro...
JDA
2007
13 years 6 months ago
2007
Path coupling is a useful technique for simplifying the analysis of a coupling of a Markov chain. Rather than defining and analysing the coupling on every pair in Ω×Ω, where...
HICSS
2007
IEEE
14 years 18 days ago
2007
IEEE
The interest in pair programming (PP) has increased recently, e.g. by the popularization of agile software development. However, many practicalities of PP are poorly understood. W...
ICISC
2004
13 years 7 months ago
2004
Abstract. We consider the use of Jacobian coordinates for Tate pairing over general characteristics. The idea of encapsulated double-andline computation and add-and-line computatio...
SOCO
2007
Springer
14 years 11 days ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...