31686 search results - page 328 / 6338 » Resource typing in Guru |
142
click to vote
SCALESPACE
2007
Springer
16 years 2 days 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...
127
click to vote
ICDM
2006
IEEE
16 years 21 hour 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...
178
click to vote
ADC
2006
Springer
15 years 12 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 ...
216
click to vote
ACL2
2006
ACM
15 years 12 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 ...
151
click to vote
APLAS
2006
ACM
15 years 12 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 ...