4286 search results - page 457 / 858 » Formalizing Service Interactions |
167
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
165
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
155
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
181
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
184
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...