12193 search results - page 343 / 2439 » It's not all about |
186
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents minimal solutions for the geometric parameters of a camera rotating about its optical centre. In particular we present new 2 and 3 point solutions for the homo...
191
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
128
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
145
Voted
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
To accomplish a business process redesign project successfully, an enterprise needs to gather information about its present business process situation as well identifying clear and...
151
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentati...