2701 search results - page 277 / 541 » On the form of witness terms |
199
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
191
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
177
click to vote
SEKE
2007
Springer
16 years 25 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
179
click to vote
3DPVT
2006
IEEE
16 years 24 days ago
2006
IEEE
The paper proposes a novel approach for planar selfcalibration of radially symmetric cameras. We model these camera images using notions of distortion center and concentric distor...
200
click to vote
BIBE
2006
IEEE
16 years 24 days ago
2006
IEEE
We show how chemical background knowledge can be used to improve the prediction performance in structureactivitity relationships (SARs) for non-congeneric compounds. The goal of t...