31686 search results - page 328 / 6338 » Resource typing in Guru |
86
Voted
SCALESPACE
2007
Springer
15 years 7 months ago
2007
Springer
Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image recons...
71
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
Many people cooperate for creating something new. It is important for the team’s perfomance to build a trusting relationship. It is necessary for building the trusting relations...
117
Voted
ADC
2006
Springer
15 years 6 months ago
2006
Springer
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
140
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
95
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...